update nix flake

Signed-off-by: Ali Caglayan <[email protected]>
HoTT · Aug 19, 2023 · 00ede54 · 00ede54
1 parent c89dc10
commit 00ede54
Show file tree

Hide file tree

Showing 2 changed files with 8 additions and 8 deletions.
diff --git a/flake.lock b/flake.lock
diff --git a/flake.nix b/flake.nix
@@ -31,8 +31,8 @@
           buildInputs = with pkgs; [
             dune_3
             ocaml
-            coq
-            coqPackages.coq-lsp
+            coq_8_17
+            coqPackages_8_17.coq-lsp
           ];
         };