Sebastian Ullrich f86b192ec2 chore: fix Nix build		2025-04-21 18:40:11 +02:00
..
bareStdenv
templates/pkg
bootstrap.nix	perf: use mimalloc by default (#7710)	2025-03-30 22:40:41 +00:00
buildLeanPackage.nix	chore: fix Nix build	2025-04-21 18:40:11 +02:00
lake-dev.in	feat: per-package server options (#2858)	2023-11-26 13:42:38 +00:00
lean-dev.in
packages.nix	chore: deprecate Nix-based build, remove interactive components (#4895)	2024-08-02 09:57:34 +00:00