| Age | Commit message (Expand) | Author |
|---|---|---|
| 2026-04-24 | lean4: remove cadical copy | Archit Gupta |
| 2026-04-01 | leanPackages: structural reimagining — own toolchain, lake --packages, Hydr... | Nadja Yang |
| 2026-03-21 | buildLakePackage: add weak-minimax test | Nadja Yang |
| 2026-03-21 | leanPackages: init at 4.28.0 | Nadja Yang |
 |
index : nixos/nixpkgs.git | |
| Nix Packages collection | Octavian Cerna |
| summaryrefslogtreecommitdiff |