fix opam file

kyoDralliam · kyoDralliam · commit f2f2e01cecce · 2025-09-03T15:26:45.000+02:00
diff --git a/opam b/opam
@@ -12,7 +12,7 @@ build: [make "-j%{jobs}%"]
 install: [make "install"]
 depends: [
   "ocaml"
-  "coq" { >= "8.20" | = "dev" }
+  "rocq-core" { >= "9.0" | = "dev" }
 ]
 synopsis: "Smpl: An Extensible Tactic for Coq"
 description: """

Original file line number	Diff line number	Diff line change
`@@ -12,7 +12,7 @@ build: [make "-j%{jobs}%"]`
`12`	`12`	`install: [make "install"]`
`13`	`13`	`depends: [`
`14`	`14`	`"ocaml"`
`15`		`- "coq" { >= "8.20" \| = "dev" }`
	`15`	`+ "rocq-core" { >= "9.0" \| = "dev" }`
`16`	`16`	`]`
`17`	`17`	`synopsis: "Smpl: An Extensible Tactic for Coq"`
`18`	`18`	`description: """`