summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* sci-mathematics/coq: drop 8.6.1-r1, 8.9.1-r1Sam James2021-03-131-2/+0
* sci-mathematics/coq: bumping back to 8.11.2Alfredo Tupone2021-02-091-0/+1
* sci-mathematics/coq: bump to 8.13.0Sam James2021-02-081-0/+1
* sci-mathematics/coq: Bump to 8.12.0Mark Wright2020-10-131-0/+1
* sci-mathematics/coq: migrate from dev-tex/xcolorMikle Kolyada2019-11-041-1/+0
* sci-mathematics/coq: Bump to 8.9.1Mark Wright2019-09-241-0/+1
* sci-mathematics: Update Manifest hashes.Ulrich Müller2017-12-101-2/+2
* sci-mathematics/coq: bump to 8.6.1Alexis Ballier2017-07-181-0/+1
* sci-mathematics/coq: Remove oldAlexis Ballier2017-07-141-2/+0
* sci-mathematics/coq: remove oldAlexis Ballier2017-01-231-2/+0
* sci-mathematics/coq: bump to 8.6Alexis Ballier2016-12-191-0/+1
* sci-mathematics/coq: bump to 8.5pl3Alexis Ballier2016-11-151-0/+1
* sci-mathematics/coq: bump to 8.5pl2Alexis Ballier2016-07-131-0/+1
* sci-mathematics/coq: Clean up old.Patrice Clement2016-06-251-2/+0
* sci-mathematics/coq: bump to 8.5pl1Alexis Ballier2016-04-111-0/+1
* sci-mathematics/coq: bump to 8.5Alexis Ballier2016-01-231-0/+1
* sci-mathematics/coq: remove oldAlexis Ballier2015-11-121-4/+0
* Update hashes in ManifestJustin Lecher2015-09-231-1/+1
* proj/gentoo: Initial commitRobin H. Johnson2015-08-081-0/+6