Get Gentoo!
gentoo.org sites
gentoo.org Wiki Bugs Forums Packages
Planet Archives Sources
Infra Status
summaryrefslogtreecommitdiff
path: root/sci-mathematics/coq/coq-8.6.ebuild
Commit message (Expand)AuthorAgeFilesLines
* sci-mathematics/coq: migrate from dev-tex/xcolorMikle Kolyada2019-11-041-91/+0
* sci-mathematics/coq: Drop obsolete dev-texlive/texlive-mathextraAndreas Sturmlechner2018-04-091-2/+2
* 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-281-1/+0
* sci-mathematics/coq: adjust deps for TeX Live 2016.Alexis Ballier2017-01-231-2/+2
* sci-mathematics/coq: add missing findlib build dep, bug #603126Alexis Ballier2016-12-191-0/+1
* sci-mathematics/coq: bump to 8.6Alexis Ballier2016-12-191-0/+91