Get Gentoo!
gentoo.org sites
gentoo.org Wiki Bugs Forums Packages
Planet Archives Sources
Infra Status
summaryrefslogtreecommitdiff
path: root/sci-mathematics/coq/Manifest
Commit message (Expand)AuthorAgeFilesLines
* sci-mathematics/coq: drop old 8.19.1Maciej Barć7 days1-1/+0
* sci-mathematics/coq: drop old 8.19.0Maciej Barć7 days1-1/+0
* sci-mathematics/coq: bump to 8.20.0Maciej Barć2024-09-091-0/+1
* sci-mathematics/coq: bump to 8.19.2Maciej Barć2024-06-101-0/+1
* sci-mathematics/coq: bump to 8.19.1Maciej Barć2024-03-041-0/+1
* sci-mathematics/coq: drop old 8.18.0Maciej Barć2024-03-041-1/+0
* sci-mathematics/coq: drop old 8.17.1Maciej Barć2024-03-041-1/+0
* sci-mathematics/coq: bump to 8.19.0Maciej Barć2024-01-251-0/+1
* sci-mathematics/coq: bump to 8.18.0Maciej Barć2023-09-091-0/+1
* sci-mathematics/coq: drop old 8.17.0Maciej Barć2023-09-091-1/+0
* sci-mathematics/coq: drop old 8.12.0-r2Maciej Barć2023-09-091-1/+0
* sci-mathematics/coq: drop old 8.16.1Maciej Barć2023-07-161-1/+0
* sci-mathematics/coq: drop old 8.15.2Maciej Barć2023-07-161-1/+0
* sci-mathematics/coq: bump to 8.17.1Maciej Barć2023-06-281-0/+1
* sci-mathematics/coq: drop old 8.13.0-r1Maciej Barć2023-06-281-1/+0
* sci-mathematics/coq: drop old 8.16.0Maciej Barć2023-04-111-1/+0
* sci-mathematics/coq: bump to 8.17.0Maciej Barć2023-04-101-0/+1
* sci-mathematics/coq: drop old 8.11.2-r1Maciej Barć2022-11-261-1/+0
* Revert "sci-mathematics/coq: drop old 8.11.2-r1"Maciej Barć2022-11-261-0/+1
* sci-mathematics/coq: drop old 8.11.2-r1Maciej Barć2022-11-261-1/+0
* sci-mathematics/coq: bump to 8.16.1Maciej Barć2022-11-261-0/+1
* sci-mathematics/coq: drop old 8.15.0-r2Maciej Barć2022-09-061-1/+0
* sci-mathematics/coq: drop old 8.15.1Maciej Barć2022-09-061-1/+0
* sci-mathematics/coq: bump to 8.16.0Maciej Barć2022-09-061-0/+1
* Revert "sci-mathematics/coq: drop old 8.11.2-r1"Maciej Barć2022-05-311-0/+1
* sci-mathematics/coq: drop old 8.11.2-r1Maciej Barć2022-05-311-1/+0
* sci-mathematics/coq: bump to 8.15.2Maciej Barć2022-05-311-0/+1
* sci-mathematics/coq: bump to 8.15.1Maciej Barć2022-03-221-0/+1
* sci-mathematics/coq: bump to 8.15.0Maciej Barć2022-01-281-0/+1
* 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