isabel 22d9ea8bf8 buildLakePackage: Small clean-ups for new builder (#519478)

2026-07-12 10:48:25 +00:00

..

test

leanPackages.lean4: 4.29.0 -> 4.29.1

2026-06-04 16:48:52 -04:00

default.nix

buildLakePackage: Small clean-ups for new builder (#519478)

2026-07-12 10:48:25 +00:00

fetch-lake-deps.nix

buildLakePackage: make FOD use extendMkDerivation as well

2026-05-07 17:36:30 -04:00

setup-hook.sh

…