Merge pull request #1741 from Alizter/ps/branch/update_nix_flake

HoTT · Aug 19, 2023 · 1cef9e1 · 1cef9e1
2 parents b8637be + 00ede54
commit 1cef9e1
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
           ];
         };