summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* 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
* sci-mathematics/coq: bump to 8.5pl2Alexis Ballier2016-07-132-0/+98
* sci-mathematics/coq: Clean up old.Patrice Clement2016-06-253-39/+0
* sci-mathematics/coq: Clean up old.Patrice Clement2016-06-253-208/+0
* sci-mathematics/coq: Stable for amd64. Retroactively mark stable for the rema...Patrice Clement2016-06-251-6/+11
* Revert "sci-mathematics/coq: Remove := from || dep, #586304"Alexis Ballier2016-06-232-4/+4
* sci-mathematics/coq: Remove := from || dep, #586304Michał Górny2016-06-212-4/+4
* sci-mathematics/coq: fix build with ocaml 4.03Alexis Ballier2016-05-032-0/+14
* sci-mathematics/coq: bump to 8.5pl1Alexis Ballier2016-04-112-0/+97
* Set appropriate maintainer types in metadata.xml (GLEP 67)Michał Górny2016-01-241-2/+2
* Replace all herds with appropriate projects (GLEP 67)Michał Górny2016-01-241-2/+8
* sci-mathematics/coq: bump to 8.5Alexis Ballier2016-01-233-0/+116
* sci-mathematics/coq: remove oldAlexis Ballier2015-11-126-351/+0
* sci-mathematics/coq: ppc stable wrt bug #553322Agostino Sarubbo2015-11-121-1/+1