fix: Manifest key error

This commit is contained in:
Leni Aniva 2025-03-08 22:50:04 -08:00
parent 4f5dd97e55
commit 5d0a7e8443
Signed by: aniva
GPG Key ID: 4D9B1C8D10EA4C50
1 changed files with 1 additions and 1 deletions

View File

@ -36,7 +36,7 @@
overlays = [(lean4-nix.readToolchainFile ./lean-toolchain)];
};
manifest = pkgs.lib.importJSON ./lake-manifest.json;
manifest-lspec = builtins.head manifest;
manifest-lspec = builtins.head manifest.packages;
lspecLib = pkgs.lean.buildLeanPackage {
name = "LSpec";
roots = ["LSpec"];