summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* 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
* sci-mathematics/coq: add github remote-idSam James2021-02-081-0/+3
* sci-mathematics/coq: fix metadata indentationSam James2021-02-081-20/+22
* sci-mathematics/coq: lower OCaml depSam James2021-02-081-4/+6
* sci-mathematics/coq: Remove oldJakov Smolic2021-01-201-86/+0
* sci-mathematics/coq: Bump to 8.12.0Mark Wright2020-10-132-0/+89
* sci-mathematics/coq: revbump for newer ocaml + numJason A. Donenfeld2020-01-071-0/+86
* */*: Remove ml@ from packages maintainersMichał Górny2019-12-131-4/+0
* sci-mathematics/coq: fix eclass usageMichael Mair-Keimberger2019-11-231-1/+1
* sci-mathematics/coq: forward keywords again (forgotten)Mikle Kolyada2019-11-041-1/+1
* sci-mathematics/coq: migrate from dev-tex/xcolorMikle Kolyada2019-11-044-95/+3
* sci-mathematics/coq: Bump to 8.9.1Mark Wright2019-09-242-0/+87
* sci-mathematics/coq: Drop obsolete dev-texlive/texlive-mathextraAndreas Sturmlechner2018-04-092-4/+4
* sci-mathematics: Update Manifest hashes.Ulrich Müller2017-12-101-2/+2
* sci-mathematics/coq: bump to 8.6.1Alexis Ballier2017-07-182-0/+92
* sci-mathematics/coq: Remove oldAlexis Ballier2017-07-145-228/+0
* sci-mathematics/coq: ppc stable wrt bug #619676Agostino Sarubbo2017-07-071-1/+1
* sci-mathematics/coq: x86 stable wrt bug #619676Agostino Sarubbo2017-07-071-1/+1
* sci-mathematics/coq: amd64 stable wrt bug #619676Agostino Sarubbo2017-07-071-1/+1
* Drop $Id$ per council decision in bug #611234.Robin H. Johnson2017-02-283-3/+0
* sci-mathematics/coq: adjust deps for TeX Live 2016.Alexis Ballier2017-01-233-6/+6
* sci-mathematics/coq: remove oldAlexis Ballier2017-01-234-208/+0
* sci-mathematics/coq: add missing findlib build dep, bug #603126Alexis Ballier2016-12-191-0/+1
* sci-mathematics/coq: bump to 8.6Alexis Ballier2016-12-192-0/+92
* sci-mathematics/coq: bump to 8.5pl3Alexis Ballier2016-11-152-0/+97
* sci-mathematics/coq: drop ocaml 4.03 patch; it is not needed anymore.Alexis Ballier2016-08-121-1/+0