summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* sci-mathematics/coq: drop redundant ebuildsViorel Munteanu2021-12-141-90/+0
* sci-mathematics/coq: serialize installAlfredo Tupone2021-04-061-1/+1
* sci-mathematics/coq: Stabilize 8.12.0-r1 x86, #769317Sam James2021-02-111-1/+1
* sci-mathematics/coq: Stabilize 8.12.0-r1 amd64, #769317Sam James2021-02-101-1/+1
* sci-mathematics/coq: lower OCaml depSam James2021-02-081-0/+90