| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2020-10-07 | Update INSTALL.md | Cyril Cohen | |
| 2019-05-22 | Update INSTALL.md | Enrico | |
| 2019-05-22 | be explicit about opam version 2.x | Enrico | |
| 2019-04-08 | Update INSTALL.md | Cyril Cohen | |
| 2019-01-29 | Add more libraries to CI & Update local opam doc (#272) | Erik Martin-Dorel | |
| * 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 | |||
| 2018-06-08 | Update INSTALL.md | Enrico | |
| 2018-06-08 | [INSTALL] document opam --root option | Enrico | |
| 2018-04-20 | update installation instructions | Enrico Tassi | |
| 2018-03-06 | [doc] Add instructions for dev version installation via OPAM | Anton Trunov | |
| Plus minor formattig tweaks and typo fixes. | |||
| 2017-11-29 | [doc] Attempt to tweak README based on the discussion. | Emilio Jesus Gallego Arias | |
 |
index : coq-mathcomp | |
| Library of mathematical components formalized in Coq |
| aboutsummaryrefslogtreecommitdiff |
path: root/INSTALL.md