Fix deps

mattam82 · mattam82 · commit 489556fd379d · 2025-11-03T22:27:23.000+01:00
diff --git a/rocq-metarocq-utils.opam b/rocq-metarocq-utils.opam
@@ -29,9 +29,9 @@ install: [
 ]
 depends: [
   "stdlib-shims"
-  "rocq-core" { = "dev" }
-  "rocq-stdlib" { = "dev" }
-  "rocq-equations" { = "dev" }
+  "rocq-core" { = "9.1.0" }
+  "rocq-stdlib" { >= "9.0~" & != "9.0.dev" & < "10" }
+  "rocq-equations" { >= "1.3.1" }
 ]
 synopsis: "The utility library of Template Rocq and PCUIC"
 description: """

Original file line number	Diff line number	Diff line change
`@@ -29,9 +29,9 @@ install: [`
`29`	`29`	`]`
`30`	`30`	`depends: [`
`31`	`31`	`"stdlib-shims"`
`32`		`- "rocq-core" { = "dev" }`
`33`		`- "rocq-stdlib" { = "dev" }`
`34`		`- "rocq-equations" { = "dev" }`
	`32`	`+ "rocq-core" { = "9.1.0" }`
	`33`	`+ "rocq-stdlib" { >= "9.0~" & != "9.0.dev" & < "10" }`
	`34`	`+ "rocq-equations" { >= "1.3.1" }`
`35`	`35`	`]`
`36`	`36`	`synopsis: "The utility library of Template Rocq and PCUIC"`
`37`	`37`	`description: """`