| Age | Commit message (Expand) | Author |
|---|---|---|
| 2020-06-09 | Complying to SPDX | Cyril Cohen |
| 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 |
| 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 |