build: relax the version constraint on odoc

RedPRL · Oct 23, 2023 · 2283755 · 2283755
1 parent cc77e7b
commit 2283755
Show file tree

Hide file tree

Showing 4 changed files with 6 additions and 6 deletions.
diff --git a/asai-examples.opam b/asai-examples.opam
@@ -15,7 +15,7 @@ depends: [
   "bwd" {>= "2.2"}
   "menhir" {>= "20220210"}
   "asai" {= version}
-  "odoc" {with-doc & >= "2.0"}
+  "odoc" {with-doc}
 ]
 build: [
   ["dune" "subst"] {dev}

diff --git a/asai-lsp.opam b/asai-lsp.opam
@@ -16,7 +16,7 @@ depends: [
   "eio_main" {>= "0.12"}
   "lsp" {>= "1.15"}
   "asai" {= version}
-  "odoc" {with-doc & >= "2.0"}
+  "odoc" {with-doc}
 ]
 build: [
   ["dune" "subst"] {dev}

diff --git a/asai.opam b/asai.opam
@@ -15,7 +15,7 @@ depends: [
   "bwd" {>= "2.2"}
   "notty" {>= "0.2.3"}
   "alcotest" {with-test & >= "1.5"}
-  "odoc" {with-doc & >= "2.0"}
+  "odoc" {with-doc}
 ]
 build: [
   ["dune" "subst"] {dev}

diff --git a/dune-project b/dune-project
@@ -22,7 +22,7 @@
    (bwd (>= 2.2))
    (notty (>= 0.2.3))
    (alcotest (and :with-test (>= 1.5)))
-   (odoc (and :with-doc (>= 2.0)))))
+   (odoc :with-doc)))
 (package
  (name asai-lsp)
  (synopsis "LSP handler for the package asai")
@@ -34,7 +34,7 @@
    (eio_main (>= 0.12))
    (lsp (>= 1.15))
    (asai (= :version))
-   (odoc (and :with-doc (>= 2.0)))))
+   (odoc :with-doc)))
 (package
  (name asai-examples)
  (synopsis "Examples of the package asai")
@@ -45,4 +45,4 @@
    (bwd (>= 2.2))
    (menhir (>= 20220210))
    (asai (= :version))
-   (odoc (and :with-doc (>= 2.0)))))
+   (odoc :with-doc)))