diff --git a/nix/default.nix b/nix/default.nix
index 7ab90dd0f763f83842e258695a5693e5c152b74b..bc1cea99791323a7fce2810a958229c49c17f95b 100644
--- a/nix/default.nix
+++ b/nix/default.nix
@@ -8,6 +8,7 @@ let mk_buildInputs = { opamPackages ? [], nixPackages ? [] } :
                 { name = "why3" ; constraint = "=1.3.1"; }
                 { name = "why3-coq" ; constraint = "=1.3.1"; }
                 { name = "menhir"; constraint = "=20190924"; }
+                { name = "dune"; constraint = "=1.11.4"; }
                 "camlzip" #so that why3 is always compiled with it
                 ] ++ opamPackages
               );