Try fixing opam

tchajed · tchajed · commit 9d22e8119635 · 2025-02-11T14:13:58.000-06:00
diff --git a/coq-tricks.opam b/coq-tricks.opam
@@ -15,7 +15,7 @@ If you have a trick you've found useful feel free to submit an issue or pull req
 
 build: [make "-j%{jobs}%"]
 depends: [
-  "coq" {= "dev"}
+  "coq" {>= "8.20"}
 ]
 
 tags: [

Original file line number	Diff line number	Diff line change
`@@ -15,7 +15,7 @@ If you have a trick you've found useful feel free to submit an issue or pull req`
`15`	`15`
`16`	`16`	`build: [make "-j%{jobs}%"]`
`17`	`17`	`depends: [`
`18`		`- "coq" {= "dev"}`
	`18`	`+ "coq" {>= "8.20"}`
`19`	`19`	`]`
`20`	`20`
`21`	`21`	`tags: [`