fix

affeldt-aist · affeldt-aist · commit 58e88fff22d5 · 2026-03-19T17:50:52.000+09:00
diff --git a/rocq-mathcomp-reals-stdlib.opam b/rocq-mathcomp-reals-stdlib.opam
@@ -20,6 +20,8 @@ depends: [
   "rocq-mathcomp-reals" { = version}
 ]
 
+conflicts: [ "coq-mathcomp-reals-stdlib" { < "1.16~" } ]
+
 tags: [
   "category:Mathematics/Real Numbers"
   "keyword:real numbers"

Original file line number	Diff line number	Diff line change
`@@ -20,6 +20,8 @@ depends: [`
`20`	`20`	`"rocq-mathcomp-reals" { = version}`
`21`	`21`	`]`
`22`	`22`
	`23`	`+conflicts: [ "coq-mathcomp-reals-stdlib" { < "1.16~" } ]`
	`24`	`+`
`23`	`25`	`tags: [`
`24`	`26`	`"category:Mathematics/Real Numbers"`
`25`	`27`	`"keyword:real numbers"`