| Age | Commit message (Expand) | Author |
|---|---|---|
| 2021-01-16 | Drop support for Coq 8.10 and deprecate the `deprecate` notation | Kazuhiko Sakaguchi |
| 2021-01-15 | [CI/CD] support Coq 8.13 | Kazuhiko Sakaguchi |
| 2020-11-26 | restrict coq version in opam file | Cyril Cohen |
| 2020-06-09 | Complying to SPDX | Cyril Cohen |
| 2020-06-07 | [CI/CD] Deploy mathcomp/mathcomp-dev:coq-8.12 (with Coq 8.12+alpha) | Erik Martin-Dorel |
| 2020-03-08 | [ci] Build mathcomp/mathcomp-dev:8.11 | Erik Martin-Dorel |
| 2019-12-02 | take advantage of opam variables and their default values | Yves Bertot |
| 2019-10-18 | Add build for mathcomp/mathcomp-dev:coq-8.10 (#391) | Erik Martin-Dorel |
| 2019-04-08 | switching to opam 2.0 format | Cyril Cohen |
| 2019-01-29 | Add more libraries to CI & Update local opam doc (#272) | Erik Martin-Dorel |
| 2018-12-20 | Avoid a warning regarding opam files | Erik Martin-Dorel |
| 2018-12-20 | Move-and-rename opam files to the root folder | Erik Martin-Dorel |
 |
index : coq-mathcomp | |
| Library of mathematical components formalized in Coq |
| aboutsummaryrefslogtreecommitdiff |