fix CI

affeldt-aist · affeldt-aist · commit c34647ff106c · 2026-05-20T11:59:55.000+09:00
diff --git a/rocq-mathcomp-experimental-reals.opam b/rocq-mathcomp-experimental-reals.opam
@@ -20,6 +20,7 @@ install: [make "-C" "experimental_reals" "install"]
 depends: [
   "rocq-mathcomp-reals" { = version}
   "rocq-mathcomp-bigenough" { (>= "1.0.0") }
+  "rocq-mathcomp-analysis" { = version }
 ]
 
 conflicts: [ "coq-mathcomp-experimental-reals" { < "1.16~" } ]

Original file line number	Diff line number	Diff line change
`@@ -20,6 +20,7 @@ install: [make "-C" "experimental_reals" "install"]`
`20`	`20`	`depends: [`
`21`	`21`	`"rocq-mathcomp-reals" { = version}`
`22`	`22`	`"rocq-mathcomp-bigenough" { (>= "1.0.0") }`
	`23`	`+ "rocq-mathcomp-analysis" { = version }`
`23`	`24`	`]`
`24`	`25`
`25`	`26`	`conflicts: [ "coq-mathcomp-experimental-reals" { < "1.16~" } ]`