fix dune-project version

Signed-off-by: Ali Caglayan <[email protected]>

Author: Alizter

coq-hott.opam

@@ -2,7 +2,7 @@
 opam-version: "2.0"
 synopsis: "The Homotopy Type Theory library"
 description: """
-To use the HoTT library, the following flags must be passed to coqc:
+To use the HoTT library, the following flags must be passed to rocq:
   -noinit -indices-matter
 To use the HoTT library in a project, add the following to _CoqProject:
   -arg -noinit
@@ -15,6 +15,11 @@ authors: ["The HoTT Library Development Team"]
 license: "BSD-2-Clause"
 homepage: "http://homotopytypetheory.org/"
 bug-reports: "https://github.com/HoTT/HoTT/issues"
+depends: [
+  "dune" {>= "3.13"}
+  "rocq-core" {>= "9.0"}
+  "odoc" {with-doc}
+]
 build: [
   ["dune" "subst"] {dev}
   [
@@ -30,7 +35,3 @@ build: [
   ]
 ]
 dev-repo: "git+https://github.com/HoTT/HoTT.git"
-depends: [
-  "dune" {>= "3.13"}
-  (("rocq-core" {>= "9.0"} & "coq-core" {>= "9.0"}) | "coq" {>= "8.19.0" & < "9~"})
-]

coq-hott.opam.template

@@ -23,5 +23,6 @@
  (name coq-hott)
  (synopsis "The Homotopy Type Theory library")
  (description
-  "To use the HoTT library, the following flags must be passed to coqc:\n  -noinit -indices-matter\nTo use the HoTT library in a project, add the following to _CoqProject:\n  -arg -noinit\n  -arg -indices-matter\n")
- (depends))
+  "To use the HoTT library, the following flags must be passed to rocq:\n  -noinit -indices-matter\nTo use the HoTT library in a project, add the following to _CoqProject:\n  -arg -noinit\n  -arg -indices-matter\n")
+ (depends
+  (rocq-core (>= 9.0))))