From 2283755d16b6f1bd86df2e1d0a1990ade20dbb6c Mon Sep 17 00:00:00 2001
From: favonia <favonia@gmail.com>
Date: Mon, 23 Oct 2023 10:49:02 -0500
Subject: [PATCH] build: relax the version constraint on odoc

---
 asai-examples.opam | 2 +-
 asai-lsp.opam      | 2 +-
 asai.opam          | 2 +-
 dune-project       | 6 +++---
 4 files changed, 6 insertions(+), 6 deletions(-)

diff --git a/asai-examples.opam b/asai-examples.opam
index 566b3762..3f4e8408 100644
--- 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
index 9b0ee1ae..c1bc4578 100644
--- 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
index 81f3a215..e523d677 100644
--- 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
index 4f3de598..64ebe367 100644
--- 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)))