From 5d0a7e84432aef08919767328afcc45c930232a1 Mon Sep 17 00:00:00 2001
From: Leni Aniva <v@leni.sh>
Date: Sat, 8 Mar 2025 22:50:04 -0800
Subject: [PATCH] fix: Manifest key error

---
 flake.nix | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/flake.nix b/flake.nix
index 424f863..71d957f 100644
--- a/flake.nix
+++ b/flake.nix
@@ -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"];