From 5a690c4421f650d1a6fb85f8bc9c28efc7579cb1 Mon Sep 17 00:00:00 2001
From: Leni Aniva <v@leni.sh>
Date: Sat, 8 Mar 2025 21:11:34 -0800
Subject: [PATCH] chore: Use `fetchGit` for `LSpec` input

---
 flake.nix | 17 +++++++++--------
 1 file changed, 9 insertions(+), 8 deletions(-)

diff --git a/flake.nix b/flake.nix
index af6e4fb..54552c5 100644
--- a/flake.nix
+++ b/flake.nix
@@ -2,12 +2,11 @@
   description = "Pantograph";
 
   inputs = {
-    nixpkgs.url = "github:nixos/nixpkgs/nixos-24.05";
+    nixpkgs.url = "github:nixos/nixpkgs/nixos-24.11";
     flake-parts.url = "github:hercules-ci/flake-parts";
-    lean4-nix.url = "github:lenianiva/lean4-nix";
-    lspec = {
-      url = "github:argumentcomputer/LSpec?ref=504a8cecf8da601b9466ac727aebb6b511aae4ab";
-      flake = false;
+    lean4-nix = {
+      url = "github:lenianiva/lean4-nix";
+      inputs.nixpkgs.follows = "nixpkgs";
     };
   };
 
@@ -16,7 +15,6 @@
     nixpkgs,
     flake-parts,
     lean4-nix,
-    lspec,
     ...
   }:
     flake-parts.lib.mkFlake {inherit inputs;} {
@@ -39,8 +37,11 @@
         };
         lspecLib = pkgs.lean.buildLeanPackage {
           name = "LSpec";
-          roots = ["Main" "LSpec"];
-          src = "${lspec}";
+          roots = ["LSpec"];
+          src = builtins.fetchGit {
+            url = "https://github.com/argumentcomputer/LSpec.git";
+            rev = "ca8e2803f89f0c12bf9743ae7abbfb2ea6b0eeec";
+          };
         };
         project = pkgs.lean.buildLeanPackage {
           name = "Pantograph";