Merge pull request #1735 from Alizter/ps/rr/nix__add_coq_lsp_to_dev_s…

…hell
HoTT · Mar 11, 2023 · 5803f83 · 5803f83
2 parents 084a71f + d8e1ff8
commit 5803f83
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/flake.nix b/flake.nix
@@ -32,6 +32,7 @@
             dune_3
             ocaml
             coq
+            coqPackages.coq-lsp
           ];
         };