diff --git a/nix/default.nix b/nix/default.nix
index 70a2da5967b40d86c9b617dd79eb7712479b00cc..fc58e24cf4966f796d8cd46f19658999a81e7a1f 100644
--- a/nix/default.nix
+++ b/nix/default.nix
@@ -4,10 +4,10 @@
 let mk_buildInputs = { opamPackages ? [], nixPackages ? [] } :
     [ pkgs.gnugrep pkgs.gnused  pkgs.autoconf pkgs.gnumake pkgs.gcc pkgs.ncurses pkgs.time pkgs.python3 pkgs.perl pkgs.file] ++ nixPackages ++ opam2nix.build {
            specs = opam2nix.toSpecs ([ "ocamlfind" "zarith" "ocamlgraph" "yojson"
-                { name = "coq"; constraint = "=8.9.1";  }
-                { name = "why3" ; constraint = "=1.2.1"; }
-                { name = "why3-coq" ; constraint = "=1.2.1"; }
-                { name = "menhir"; constraint = "=20190924"; }
+                { name = "coq"; constraint = "=8.11.0";  }
+                { name = "why3" ; constraint = "=1.3.1"; }
+                { name = "why3-coq" ; constraint = "=1.3.1"; }
+                { name = "menhir"; constraint = "=20200211"; }
                 "camlzip" #so that why3 is always compiled with it
                 ] ++ opamPackages
               );