nathan/nixpkgs
1
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2026-06-05 21:03:40 +00:00
Code Issues Packages Projects Releases Wiki Activity
Files
master
nixpkgs/pkgs/build-support/lake
History
Nadja Yang bdea40b4ed leanPackages.mathlib: lgz preprocessing 
Per-module leantar strips olean structural overhead. See
https://github.com/NixOS/nixpkgs/pull/511524#issuecomment-4615610073
2026-06-04 16:48:52 -04:00
..
test
leanPackages.lean4: 4.29.0 -> 4.29.1
2026-06-04 16:48:52 -04:00
default.nix
leanPackages.mathlib: lgz preprocessing
2026-06-04 16:48:52 -04:00
fetch-lake-deps.nix
…
setup-hook.sh
…