diff options
| author | Erik Martin-Dorel | 2019-01-29 13:29:38 +0100 |
|---|---|---|
| committer | Cyril Cohen | 2019-01-29 13:29:38 +0100 |
| commit | e5ff94165ab722bfb77d4437a58d49aacc81683d (patch) | |
| tree | 085d71f53ff53dc81ef4892957b4fae5fa3b2333 /coq-mathcomp-ssreflect.opam | |
| parent | 6a8472fd6b9a9a31514d71c2628e2f7cfc341eaa (diff) | |
Add more libraries to CI & Update local opam doc (#272)
* Update INSTALL.md for installing mathcomp as local opam packages
This patch documents the change 1046da99d22462d6aeb23dd12043c2537f47abf1
that was required by the GitLab CI setup to be able to rely on opam 2.0.
Close #251
* Propose to bump the required version of coq in coq-mathcomp-ssreflect.opam
so the CI could use the Docker image coqorg/coq:8.9 (which is already available
albeit it currently is a synonymous of coqorg/coq:8.9-beta1 with the opam repos
coq-released + coq-core-dev + coq-extra-dev)
* [ci] Add math-comp/odd-order and coq-community/lemma-overloading jobs
Related: math-comp/math-comp#245 and math-comp/math-comp#256
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 5d31846..a018a3e 100644 --- a/coq-mathcomp-ssreflect.opam +++ b/coq-mathcomp-ssreflect.opam @@ -12,7 +12,7 @@ license: "CeCILL-B" build: [ make "-C" "mathcomp/ssreflect" "-j" "%{jobs}%" ] install: [ make "-C" "mathcomp/ssreflect" "install" ] remove: [ "sh" "-c" "rm -rf '%{lib}%/coq/user-contrib/mathcomp'" ] -depends: [ "coq" { ((>= "8.6" & < "8.9~") | (= "dev"))} ] +depends: [ "coq" { ((>= "8.6" & < "8.10~") | (= "dev"))} ] tags: [ "keyword:small scale reflection" "keyword:mathematical components" "keyword:odd order theorem" ] 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 <>" ] |