mit-pdos
diff --git a/‎flake.lock
+24 b/‎flake.lock
+24
diff --git a/‎flake.nix
+1-1 b/‎flake.nix
+1-1
@@ -28,7 +28,7 @@
         # create an environment with the required coq libraries
         packages = with pkgs; [
           # coq deps
-          coqc
+          coq
 
           # grackle
           grackle