| 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 |
 |
index : nixos/nixpkgs.git | |
| Nix Packages collection | Octavian Cerna |
| summaryrefslogtreecommitdiff |