1 files changed, 2 insertions, 2 deletions
diff --git a/coq.opam b/coq.opam
index 4399dafe7c..6aec0132be 100644
--- a/coq.opam
+++ b/coq.opam
@@ -21,8 +21,8 @@ license: "LGPL-2.1"
 version: "dev"
 
 depends: [
-  "ocaml"     {         >= "4.05.0" }
-  "dune"      { build & >= "1.10.0"  }
+  "ocaml"     { >= "4.05.0" }
+  "dune"      { >= "2.0.0"  }
   "ocamlfind" { build }
   "num"
 ]