From 9cf071eefe73c15418523575c028c7b4c0a8e2bf Mon Sep 17 00:00:00 2001
From: Leni Aniva <v@leni.sh>
Date: Sat, 8 Mar 2025 21:16:47 -0800
Subject: [PATCH] chore: Read manifest for LSpec version

---
 flake.nix | 7 +++----
 1 file changed, 3 insertions(+), 4 deletions(-)

diff --git a/flake.nix b/flake.nix
index 54552c5..424f863 100644
--- a/flake.nix
+++ b/flake.nix
@@ -35,13 +35,12 @@
           inherit system;
           overlays = [(lean4-nix.readToolchainFile ./lean-toolchain)];
         };
+        manifest = pkgs.lib.importJSON ./lake-manifest.json;
+        manifest-lspec = builtins.head manifest;
         lspecLib = pkgs.lean.buildLeanPackage {
           name = "LSpec";
           roots = ["LSpec"];
-          src = builtins.fetchGit {
-            url = "https://github.com/argumentcomputer/LSpec.git";
-            rev = "ca8e2803f89f0c12bf9743ae7abbfb2ea6b0eeec";
-          };
+          src = builtins.fetchGit { inherit (manifest-lspec) url rev; };
         };
         project = pkgs.lean.buildLeanPackage {
           name = "Pantograph";