diff options
| author | Cyril Cohen | 2021-01-15 13:58:24 +0100 |
|---|---|---|
| committer | GitHub | 2021-01-15 13:58:24 +0100 |
| commit | 68fab9412b287079164aab5f3eda71fcd65df8cc (patch) | |
| tree | faacdaf98cbaccb37a7db57fd79446a70495ad8e /coq-mathcomp-ssreflect.opam | |
| parent | aaffb229c5e0a74c4d52a94dd67197c099c4d89b (diff) | |
| parent | 01260ccd97f5cb698d6cd0936a7ddba43b973afc (diff) | |
Merge pull request #688 from pi8027/coq-8.13
[CI/CD] support Coq 8.13
Diffstat (limited to 'coq-mathcomp-ssreflect.opam')
| -rw-r--r-- | coq-mathcomp-ssreflect.opam | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/coq-mathcomp-ssreflect.opam b/coq-mathcomp-ssreflect.opam index 4f3f6c3..b34b7c7 100644 --- a/coq-mathcomp-ssreflect.opam +++ b/coq-mathcomp-ssreflect.opam @@ -9,7 +9,7 @@ license: "CECILL-B" build: [ make "-C" "mathcomp/ssreflect" "-j" "%{jobs}%" ] install: [ make "-C" "mathcomp/ssreflect" "install" ] -depends: [ "coq" { ((>= "8.10" & < "8.13~") | (= "dev"))} ] +depends: [ "coq" { ((>= "8.10" & < "8.14~") | (= "dev"))} ] tags: [ "keyword:small scale reflection" "keyword:mathematical components" "keyword:odd order theorem" "logpath:mathcomp.ssreflect" ] authors: [ "Jeremy Avigad <>" "Andrea Asperti <>" "Stephane Le Roux <>" "Yves Bertot <>" "Laurence Rideau <>" "Enrico Tassi <>" "Ioana Pasca <>" "Georges Gonthier <>" "Sidi Ould Biha <>" "Cyril Cohen <>" "Francois Garillot <>" "Alexey Solovyev <>" "Russell O'Connor <>" "Laurent Théry <>" "Assia Mahboubi <>" ] |