opam: require >= 9.0, instead of >= 8.19.0

jdchristensen · jdchristensen · commit e5aa5cc68a1f · 2026-02-17T18:38:20.000-05:00
diff --git a/coq-hott.opam b/coq-hott.opam
@@ -32,5 +32,5 @@ 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~"})
+  ("rocq-core" {>= "9.0"} & "coq-core" {>= "9.0"})
 ]
diff --git a/coq-hott.opam.template b/coq-hott.opam.template
@@ -1,4 +1,4 @@
 depends: [
   "dune" {>= "3.13"}
-  (("rocq-core" {>= "9.0"} & "coq-core" {>= "9.0"}) | "coq" {>= "8.19.0" & < "9~"})
+  ("rocq-core" {>= "9.0"} & "coq-core" {>= "9.0"})
 ]

Original file line number	Diff line number	Diff line change
`@@ -32,5 +32,5 @@ build: [`
`32`	`32`	`dev-repo: "git+https://github.com/HoTT/HoTT.git"`
`33`	`33`	`depends: [`
`34`	`34`	`"dune" {>= "3.13"}`
`35`		`- (("rocq-core" {>= "9.0"} & "coq-core" {>= "9.0"}) \| "coq" {>= "8.19.0" & < "9~"})`
	`35`	`+ ("rocq-core" {>= "9.0"} & "coq-core" {>= "9.0"})`
`36`	`36`	`]`