diff --git a/flake.nix b/flake.nix
index 69aceda08f9..96198786e94 100644
--- 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)