nathan/nixpkgs
1
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2026-06-14 01:03:54 +00:00
Code Issues Packages Projects Releases Wiki Activity
Files
955b98c8ebaf1583a5fa1f7a8eae19a0da170a18
nixpkgs/pkgs/development/lean-modules
History
Archit Gupta ed10debb3c lean4: remove cadical copy 
By default, lean4's cmake copies the cadical binary from PATH to its
build output directory. Disabling this behavior does not keep Lean from
using cadical.
2026-04-24 01:39:20 -07:00
..
aesop
leanPackages: structural reimagining — own toolchain, lake --packages, Hydra visibility
2026-04-01 11:13:44 -04:00
batteries
leanPackages: structural reimagining — own toolchain, lake --packages, Hydra visibility
2026-04-01 11:13:44 -04:00
Cli
leanPackages: structural reimagining — own toolchain, lake --packages, Hydra visibility
2026-04-01 11:13:44 -04:00
importGraph
leanPackages: structural reimagining — own toolchain, lake --packages, Hydra visibility
2026-04-01 11:13:44 -04:00
lean4
lean4: remove cadical copy
2026-04-24 01:39:20 -07:00
LeanSearchClient
leanPackages: structural reimagining — own toolchain, lake --packages, Hydra visibility
2026-04-01 11:13:44 -04:00
mathlib
leanPackages: structural reimagining — own toolchain, lake --packages, Hydra visibility
2026-04-01 11:13:44 -04:00
plausible
leanPackages: structural reimagining — own toolchain, lake --packages, Hydra visibility
2026-04-01 11:13:44 -04:00
proofwidgets
leanPackages: structural reimagining — own toolchain, lake --packages, Hydra visibility
2026-04-01 11:13:44 -04:00
Qq
leanPackages: structural reimagining — own toolchain, lake --packages, Hydra visibility
2026-04-01 11:13:44 -04:00
update.sh
leanPackages: structural reimagining — own toolchain, lake --packages, Hydra visibility
2026-04-01 11:13:44 -04:00