Skip to content

feat: add lean4 to nixpkgs packages - #1754

Merged
shunkakinoki merged 8 commits into
mainfrom
feat/add-lean4
May 11, 2026
Merged

feat: add lean4 to nixpkgs packages#1754
shunkakinoki merged 8 commits into
mainfrom
feat/add-lean4

chore(ghostty): drop redundant gtk-single-instance (already default)

7120479
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar