diff --git a/nix/default.nix b/nix/default.nix
index 652b5136731b658dfdcfde3d6ee91f6069665d77..79447fb0f200effd859f9abf84609df12b988691 100644
--- a/nix/default.nix
+++ b/nix/default.nix
@@ -16,7 +16,7 @@ let frama_clang_build =
    { inherit pkgs stdenv src opam2nix ocaml_version plugins plugin_extend;
      name = "frama-clang-on-llvm-" + llvm_version;
      deps = [ llvm_package.clang-unwrapped llvm pkgs.gnused ];
-     opamPackages = [ { name = "camlp5"; constraint="=7.14";} ];
+     opamPackages = [ "camlp5=7.14" ];
      preFramaCTests = ''
        echo CONFIGURING Why3 for Frama_Clang.
        export HOME=$(mktemp -d)