We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent c941327 commit b6c8f03Copy full SHA for b6c8f03
coq-graph-theory.opam
@@ -21,7 +21,7 @@ build: [make "-j%{jobs}%" ]
21
install: [make "install"]
22
depends: [
23
"coq" {(>= "8.10" & < "8.12~") | (= "dev")}
24
- "coq-mathcomp-ssreflect" {>= "1.10" & < "1.12~") | (= "dev")}
+ "coq-mathcomp-ssreflect" {(>= "1.10" & < "1.12~") | (= "dev")}
25
"coq-mathcomp-finmap"
26
]
27
meta.yml
@@ -62,7 +62,7 @@ tested_coq_opam_versions:
62
dependencies:
63
- opam:
64
name: coq-mathcomp-ssreflect
65
- version: '{>= "1.10" & < "1.12~") | (= "dev")}'
+ version: '{(>= "1.10" & < "1.12~") | (= "dev")}'
66
description: MathComp's SSReflect library, version 1.10 or later
67
68
name: coq-mathcomp-finmap
0 commit comments