requiring a dune older than 3.13.0 otherwise the build fails in the a…

…bsence of coq
rems-project · Jan 23, 2024 · 71ed8ef · 71ed8ef
1 parent c0fa1ae
commit 71ed8ef
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/cerberus-lib.opam b/cerberus-lib.opam
@@ -20,7 +20,7 @@ homepage: "https://www.cl.cam.ac.uk/~pes20/cerberus/"
 bug-reports: "https://github.com/rems-project/cerberus/issues"
 depends: [
   "ocaml" {>= "4.12.0"}
-  "dune" {>= "3.8.0"}
+  "dune" {>= "3.8.0" & < "3.13.0"}
   "sha" {>= "1.12"}
   "pprint" {>= "20180528"}
   "ppx_sexp_conv" {>= "v0.14.3" }

diff --git a/cerberus.opam b/cerberus.opam
@@ -20,7 +20,7 @@ bug-reports: "https://github.com/rems-project/cerberus/issues"
 depends: [
   "cerberus-lib"
   "ocaml" {>= "4.12.0"}
-  "dune" {>= "3.8.0"}
+  "dune" {>= "3.8.0" & < "3.13.0"}
   "sha" {>= "1.12"}
   "pprint" {>= "20180528"}
   "ppx_sexp_conv" {>= "v0.14.3" }