| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2019-04-16 | Don't run "opam clean -c" to workaround ocaml/opam#3828 | Erik Martin-Dorel | |
| 2018-12-21 | Improve the mathcomp-dev Dockerfile (using Docker's multi-stage build) | Erik Martin-Dorel | |
| * Install coq-mathcomp-character in only 1 switch (cf. the build-arg $compiler) * Remove the other switch * Base the final image on coqorg/base:bare (which has no OCaml compiler layers) | |||
| 2018-12-21 | Add Dockerfile to build mathcomp using its opam files | Erik Martin-Dorel | |
 |
index : coq-mathcomp | |
| Library of mathematical components formalized in Coq |
| aboutsummaryrefslogtreecommitdiff |
path: root/Dockerfile