fix opam

c-cube · Jun 13, 2023 · 1fed495 · 1fed495
1 parent 1397da5
commit 1fed495
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/minisat.opam b/minisat.opam
@@ -2,7 +2,7 @@ opam-version: "2.0"
 version: "0.5"
 author: "simon.cruanes.2007@m4x.org"
 maintainer: "simon.cruanes.2007@m4x.org"
-synopsis: "Bindings to Minisat-C-1.14.1, with the solver included"
+synopsis: "Bindings to the SAT solver Minisat, with the solver included."
 build: [
   ["dune" "build" "-p" name "-j" jobs]
   ["dune" "runtest" "-p" name "-j" jobs] {with-test}
@@ -11,7 +11,7 @@ build: [
 license: "BSD-2-clause"
 depends: [
   "ocaml" {>= "4.03" }
-  "dune" {>= "1.0"}
+  "dune" {>= "2.0"}
   "odoc" {with-doc}
   "containers" {>= "3.0" & with-test}
 ]