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 (Collapse)AuthorAgeFilesLines
* sci-mathematics/coq: Drop obsolete dev-texlive/texlive-mathextraAndreas Sturmlechner2018-04-091-2/+2
| | | | Package-Manager: Portage-2.3.28, Repoman-2.3.9
* sci-mathematics/coq: ppc stable wrt bug #619676Agostino Sarubbo2017-07-071-1/+1
| | | | | | Package-Manager: Portage-2.3.6, Repoman-2.3.1 RepoMan-Options: --include-arches="ppc" Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
* sci-mathematics/coq: x86 stable wrt bug #619676Agostino Sarubbo2017-07-071-1/+1
| | | | | | Package-Manager: Portage-2.3.6, Repoman-2.3.1 RepoMan-Options: --include-arches="x86" Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
* sci-mathematics/coq: amd64 stable wrt bug #619676Agostino Sarubbo2017-07-071-1/+1
| | | | | | Package-Manager: Portage-2.3.6, Repoman-2.3.1 RepoMan-Options: --include-arches="amd64" Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
* Drop $Id$ per council decision in bug #611234.Robin H. Johnson2017-02-281-1/+0
| | | | Signed-off-by: Robin H. Johnson <robbat2@gentoo.org>
* sci-mathematics/coq: adjust deps for TeX Live 2016.Alexis Ballier2017-01-231-2/+2
| | | | Package-Manager: Portage-2.3.3, Repoman-2.3.1
* sci-mathematics/coq: add missing findlib build dep, bug #603126Alexis Ballier2016-12-191-0/+1
| | | | Package-Manager: Portage-2.3.3, Repoman-2.3.1
* sci-mathematics/coq: bump to 8.6Alexis Ballier2016-12-191-0/+91
Package-Manager: Portage-2.3.3, Repoman-2.3.1