Coqprime 1.6 builds fine with 9.1

JasonGross · web-flow · commit a959295092a0 · 2026-01-24T12:26:33.000-08:00
diff --git a/released/packages/coq-coqprime/coq-coqprime.1.6.0/opam b/released/packages/coq-coqprime/coq-coqprime.1.6.0/opam
@@ -13,7 +13,7 @@ install: [
 ]
 depends: [
   "ocaml"
-  "coq" {>= "8.20" & < "9.1.0~"}
+  "coq" {>= "8.20" & < "9.2.0~"}
   "coq-bignums"
 ]
 synopsis: "Certifying prime numbers in Coq"

Original file line number	Diff line number	Diff line change
`@@ -13,7 +13,7 @@ install: [`
`13`	`13`	`]`
`14`	`14`	`depends: [`
`15`	`15`	`"ocaml"`
`16`		`- "coq" {>= "8.20" & < "9.1.0~"}`
	`16`	`+ "coq" {>= "8.20" & < "9.2.0~"}`
`17`	`17`	`"coq-bignums"`
`18`	`18`	`]`
`19`	`19`	`synopsis: "Certifying prime numbers in Coq"`