Get Gentoo!
gentoo.org sites
gentoo.org Wiki Bugs Forums Packages
Planet Archives Sources
Infra Status
summaryrefslogtreecommitdiff
path: root/sci-mathematics/coq
Commit message (Expand)AuthorAgeFilesLines
* sci-mathematics/coq: bump to 8.18.0Maciej Barć2023-09-092-0/+113
* sci-mathematics/coq: drop old 8.17.0Maciej Barć2023-09-092-113/+0
* sci-mathematics/coq: drop old 8.12.0-r2Maciej Barć2023-09-092-91/+0
* sci-mathematics/coq: Stabilize 8.17.1 amd64, #912296Sam James2023-08-161-1/+1
* sci-mathematics/coq: remove dead codeMaciej Barć2023-07-172-18/+0
* sci-mathematics/coq: drop old 8.16.1Maciej Barć2023-07-162-121/+0
* sci-mathematics/coq: drop old 8.15.2Maciej Barć2023-07-162-121/+0
* sci-mathematics/coq: add pkg_preinst upgrade from 8.12Maciej Barć2023-07-164-0/+36
* sci-mathematics/coq: Stabilize 8.17.0 amd64, #907179Jakov Smolić2023-07-111-1/+1
* sci-mathematics/coq: bump to 8.17.1Maciej Barć2023-06-282-0/+113
* sci-mathematics/coq: drop old 8.13.0-r1Maciej Barć2023-06-282-89/+0
* sci-mathematics/coq: destabilize for ~x86Arthur Zamarin2023-06-092-2/+2
* sci-mathematics/coq: Stabilize 8.17.0 x86, #907179Arthur Zamarin2023-05-261-1/+1
* sci-mathematics/coq: update bug referenceMaciej Barć2023-04-121-1/+1
* sci-mathematics/coq: disable failing testMaciej Barć2023-04-111-0/+7
* sci-mathematics/coq: drop old 8.16.0Maciej Barć2023-04-112-112/+0
* sci-mathematics/coq: add missing subslotsMaciej Barć2023-04-115-7/+7
* sci-mathematics/coq: add ounit2 to test depsMaciej Barć2023-04-111-1/+3
* sci-mathematics/coq: bump to 8.17.0Maciej Barć2023-04-102-0/+104
* Rename dev-python/{sphinx_rtd_theme → sphinx-rtd-theme}Michał Górny2023-02-143-3/+3
* Rename dev-python/{sphinx_rtd_theme → sphinx-rtd-theme}Michał Górny2023-02-143-3/+3
* sci-mathematics/coq: drop old 8.11.2-r1Maciej Barć2022-11-262-91/+0
* Revert "sci-mathematics/coq: drop old 8.11.2-r1"Maciej Barć2022-11-262-0/+91
* sci-mathematics/coq: drop old 8.11.2-r1Maciej Barć2022-11-262-91/+0
* sci-mathematics/coq: bump to 8.16.1Maciej Barć2022-11-262-0/+112
* sci-mathematics/coq: drop old 8.15.0-r2Maciej Barć2022-09-062-112/+0
* sci-mathematics/coq: drop old 8.15.1Maciej Barć2022-09-062-112/+0
* sci-mathematics/coq: bump to 8.16.0Maciej Barć2022-09-062-0/+112
* Revert "sci-mathematics/coq: drop old 8.11.2-r1"Maciej Barć2022-05-312-0/+91
* sci-mathematics/coq: drop old 8.11.2-r1Maciej Barć2022-05-312-91/+0
* sci-mathematics/coq: bump to 8.15.2Maciej Barć2022-05-312-0/+112
* sci-mathematics/coq: bump to 8.15.1Maciej Barć2022-03-222-0/+112
* sci-mathematics/coq: re-add ~x86 keyword dropped by mistakeMaciej Barć2022-03-131-1/+1
* sci-mathematics/coq: update metadataMaciej Barć2022-02-271-1/+3
* sci-mathematics/coq: fix doc build - add missing fontsMaciej Barć2022-02-181-0/+2
* sci-mathematics/coq: fix doc build - add xetex depMaciej Barć2022-02-181-0/+1
* sci-mathematics/coq: add missing latexextra depMaciej Barć2022-02-171-0/+1
* sci-mathematics/coq: enable docMaciej Barć2022-02-171-16/+17
* sci-mathematics/coq: bump to 8.15.0Maciej Barć2022-01-282-0/+107
* sci-mathematics/coq: drop redundant ebuildsViorel Munteanu2021-12-143-268/+0
* sci-mathematics/coq: x86 stable wrt bug #827149Agostino Sarubbo2021-12-071-1/+1
* sci-mathematics/coq: Stabilize 8.12.0-r2 amd64, #827149Jakov Smolić2021-12-061-1/+1
* **/metadata.xml: Replace http by https in DOCTYPE elementUlrich Müller2021-09-111-1/+1
* sci-mathematics/coq: use a dependency default flagViorel Munteanu2021-07-263-0/+268
* sci-mathematics/coq: serialize installAlfredo Tupone2021-04-062-2/+2
* sci-mathematics/coq: drop 8.6.1-r1, 8.9.1-r1Sam James2021-03-134-182/+0
* 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: bumping back to 8.11.2Alfredo Tupone2021-02-092-0/+91
* sci-mathematics/coq: bump to 8.13.0Sam James2021-02-082-0/+89