Skip to content
Snippets Groups Projects

Coq 8.10 no longer supported since #104

Merged Coq 8.10 no longer supported since #104
proux/rt-proofs:opam-coq-version into master
Merged Pierre Roux requested to merge proux/rt-proofs:opam-coq-version into master
Compare
and
1 file
+ 1
− 1
Compare changes
  • Side-by-side
  • Inline
coq-prosa.opam
+ 1
− 1
@@ -13,7 +13,7 @@ build: [
]
install: [make "install"]
depends: [
"coq" {((>= "8.10" & < "8.13~") | = "dev")}
"coq" {((>= "8.11" & < "8.13~") | = "dev")}
"coq-mathcomp-ssreflect" {((>= "1.10" & < "1.12~") | = "dev")}
]