Remove dune's {build} tag

formalsec · Jun 18, 2024 · 2d82176 · 2d82176
1 parent 2ac68b1
commit 2d82176
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/dune-project b/dune-project
@@ -32,7 +32,7 @@
    (>= "0.4.0"))
   cvc5)
  (depends
-  (dune :build)
+  dune
   (ocaml
    (>= "4.14.0"))
   ocaml_intrinsics

diff --git a/smtml.opam b/smtml.opam
@@ -9,7 +9,7 @@ homepage: "https://github.com/formalsec/smtml"
 doc: "https://formalsec.github.io/smtml/smtml/index.html"
 bug-reports: "https://github.com/formalsec/smtml/issues"
 depends: [
-  "dune" {>= "3.14" & build}
+  "dune" {>= "3.14"}
   "ocaml" {>= "4.14.0"}
   "ocaml_intrinsics"
   "cmdliner" {>= "1.2.0"}