diff --git a/nix/default.nix b/nix/default.nix
index 4a094099d2d6254c732f2a49a4bf397aef7c1c98..456cddc574c93ba0ab993fbf0b60c78ddb70fe34 100644
--- a/nix/default.nix
+++ b/nix/default.nix
@@ -14,11 +14,11 @@ in
 plugins.helpers.simple_plugin
    { inherit pkgs stdenv src opam2nix ocaml_version plugins;
      name = "frama-clang";
-     deps = [ unstablePckgs.llvmPackages_9.clang-unwrapped unstablePckgs.llvm_9 pkgs.gnused pkgs.alt-ergo ];
-     opamPackages = [ "camlp5" ];
+     deps = [ unstablePckgs.llvmPackages_9.clang-unwrapped unstablePckgs.llvm_9 pkgs.gnused ];
+     opamPackages = [ "camlp5" { name = "alt-ergo"; constraint = "=2.0.0"; } ];
      configure_options = "-with-clang-includedir=${unstablePckgs.llvmPackages_9.clang-unwrapped}";
      preFramaCTests = ''
-       echo Configuring Why3 for frama-clang.
+       echo CONFIGURING Why3 for Frama_Clang.
        export HOME=$(mktemp -d)
        why3 config --full-config
      '';