summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* 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
* sci-mathematics/coq: x86 stable wrt bug #553322Agostino Sarubbo2015-11-111-1/+1
* Update hashes in ManifestJustin Lecher2015-09-231-1/+1
* Revert DOCTYPE SYSTEM https changes in metadata.xmlMike Gilbert2015-08-241-1/+1
* Use https by defaultJustin Lecher2015-08-241-1/+1
* proj/gentoo: Initial commitRobin H. Johnson2015-08-0813-0/+632