nix: add quick coq dev shell

Signed-off-by: Ali Caglayan <[email protected]> ps-id: 2e5cebbd-d0d1-4ef8-a7b6-9308d5f2a308
Alizter · Nov 12, 2022 · 5938b6c · 5938b6c
1 parent 73f6316
commit 5938b6c
Showing 1 changed file with 9 additions and 0 deletions.
diff --git a/flake.nix b/flake.nix
@@ -96,6 +96,15 @@
           ];
         };
 
+        devShells.coq =
+          pkgs.mkShell {
+            inputsFrom = [ pkgs.dune_3 ];
+            buildInputs = with pkgs; [
+              coq_8_16
+              coq_8_16.ocamlPackages.findlib
+            ];
+          };
+
         devShells.default =
           pkgs.mkShell {
             nativeBuildInputs = [ pkgs.opam ];