c4patino/nixpkgs
1
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2026-07-06 17:13:24 -05:00
Code Issues Projects Releases Packages Wiki Activity
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