fix opam file

kyoDralliam · kyoDralliam · commit 5bf62f11aaeb · 2025-09-03T16:06:01.000+02:00
diff --git a/opam b/opam
@@ -12,7 +12,7 @@ homepage: "https://github.com/CoqHott/logrel-coq"
 synopsis:"A formalisation of meta-theory for a dependent type system, in Coq"
 license: "MIT"
 depends: [
-  "rocq" { >= "9.0" & < "9.1~" }
+  "rocq-prover" { >= "9.0" & < "9.1~" }
   "rocq-smpl"
   "rocq-equations" { >= "1.3" }
 ]

Original file line number	Diff line number	Diff line change
`@@ -12,7 +12,7 @@ homepage: "https://github.com/CoqHott/logrel-coq"`
`12`	`12`	`synopsis:"A formalisation of meta-theory for a dependent type system, in Coq"`
`13`	`13`	`license: "MIT"`
`14`	`14`	`depends: [`
`15`		`- "rocq" { >= "9.0" & < "9.1~" }`
	`15`	`+ "rocq-prover" { >= "9.0" & < "9.1~" }`
`16`	`16`	`"rocq-smpl"`
`17`	`17`	`"rocq-equations" { >= "1.3" }`
`18`	`18`	`]`