Skip to content

feat: add lean4 to nixpkgs packages #1754

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
shunkakinoki merged 8 commits into from
May 11, 2026
Merged

feat: add lean4 to nixpkgs packages #1754

Changes from 1 commit
Commits
Show all changes
8 commits
Select commit Hold shift + click to select a range
134574e
feat: add lean4 to nixpkgs packages
shunkakinoki May 11, 2026
a4679b6
fix(keyd): explicitly grab 32ac:0006 so Framework key is remapped
shunkakinoki May 11, 2026
6b92440
chore: update
shunkakinoki May 11, 2026
2aef920
chore: update
shunkakinoki May 11, 2026
bc50edb
chore: update
shunkakinoki May 11, 2026
320627a
fix(gtk): suppress gtk4.theme default-changed warning
shunkakinoki May 11, 2026
7c477e6
chore: update
shunkakinoki May 11, 2026
7120479
chore(ghostty): drop redundant gtk-single-instance (already default)
shunkakinoki May 11, 2026
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
1 change: 1 addition & 0 deletions home-manager/packages/default.nix
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -65,6 +65,7 @@ with pkgs;
jujutsu
just
k6
lean4
(if stdenv.isLinux && isDesktop then llama-cpp.override { vulkanSupport = true; } else llama-cpp)
llm
lsof
Expand Down
Loading