Bump Rocq version

shilangyu · shilangyu · commit a85f496afd50 · 2026-03-20T11:52:50.000+01:00
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -12,7 +12,7 @@ jobs:
 
     strategy:
       matrix:
-        rocq: ["9.0.1", "9.1.1"]
+        rocq: ["9.1.1"]
       fail-fast: false
 
     steps:
diff --git a/dune-project b/dune-project
@@ -16,5 +16,5 @@
  (name strict-order-solver)
  (synopsis "Complete solver for strict orders (transitive and irreflexive relations) for Rocq")
  (depends
-  (rocq-core (>= 9.0.0))
+  (rocq-core (>= 9.1.0))
   (rocq-stdlib (>= 9.0.0))))
diff --git a/strict-order-solver.opam b/strict-order-solver.opam
@@ -9,7 +9,7 @@ homepage: "https://github.com/epfl-systemf/StrictOrderSolver"
 bug-reports: "https://github.com/epfl-systemf/StrictOrderSolver/issues"
 depends: [
   "dune" {>= "3.22"}
-  "rocq-core" {>= "9.0.0"}
+  "rocq-core" {>= "9.1.0"}
   "rocq-stdlib" {>= "9.0.0"}
   "odoc" {with-doc}
 ]

Original file line number	Diff line number	Diff line change
`@@ -9,7 +9,7 @@ homepage: "https://github.com/epfl-systemf/StrictOrderSolver"`
`9`	`9`	`bug-reports: "https://github.com/epfl-systemf/StrictOrderSolver/issues"`
`10`	`10`	`depends: [`
`11`	`11`	`"dune" {>= "3.22"}`
`12`		`- "rocq-core" {>= "9.0.0"}`
	`12`	`+ "rocq-core" {>= "9.1.0"}`
`13`	`13`	`"rocq-stdlib" {>= "9.0.0"}`
`14`	`14`	`"odoc" {with-doc}`
`15`	`15`	`]`