diff --git a/nix/default.nix b/nix/default.nix
index 326682997a75442a41a1df5c41a8db8fd963e458..1f34e3a63bdfc5de63b6ae7c32b3374cfa28814a 100644
--- a/nix/default.nix
+++ b/nix/default.nix
@@ -160,7 +160,7 @@ rec {
   wp-qualif = mk_deriv {
         name = "frama-c-wp-qualif";
         buildInputs = mk_buildInputs { opamPackages = [
-                    { name = "alt-ergo"; constraint = "=2.3.3"; }
+                    { name = "alt-ergo"; constraint = "=2.3.1"; }
                ]; };
         build_dir = main.build_dir;
         src = main.build_dir + "/dir.tar";