chore: add coq_8_16 to nix flake

ps-id: 54dbbeb5-ebea-4236-b220-2e0a573ac9cd Signed-off-by: Ali Caglayan <[email protected]>
ocaml · Oct 1, 2022 · 9b722bb · 9b722bb
1 parent 2b1468d
commit 9b722bb
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/flake.nix b/flake.nix
@@ -46,6 +46,7 @@
             # dev tools
             ocamlformat_0_21_0
             opam
+            coq_8_16
             nodejs-slim
             pkg-config
           ] ++ (builtins.map (s: builtins.getAttr s scope)