Get Gentoo!
gentoo.org sites
gentoo.org Wiki Bugs Forums Packages
Planet Archives Sources
Infra Status
summaryrefslogtreecommitdiff
path: root/sci-mathematics/coq
Commit message (Collapse)AuthorAgeFilesLines
* sci-mathematics/coq: revbump for newer ocaml + numJason A. Donenfeld2020-01-071-0/+86
| | | | | | Fixes: https://bugs.gentoo.org/704928 Package-Manager: Portage-2.3.84, Repoman-2.3.20 Signed-off-by: Jason A. Donenfeld <zx2c4@gentoo.org>
* */*: Remove ml@ from packages maintainersMichał Górny2019-12-131-4/+0
| | | | | Bug: https://bugs.gentoo.org/695782 Signed-off-by: Michał Górny <mgorny@gentoo.org>
* sci-mathematics/coq: fix eclass usageMichael Mair-Keimberger2019-11-231-1/+1
| | | | | | Signed-off-by: Michael Mair-Keimberger <m.mairkeimberger@gmail.com> Closes: https://github.com/gentoo/gentoo/pull/13706 Signed-off-by: Aaron Bauman <bman@gentoo.org>
* sci-mathematics/coq: forward keywords again (forgotten)Mikle Kolyada2019-11-041-1/+1
| | | | | Package-Manager: Portage-2.3.76, Repoman-2.3.16 Signed-off-by: Mikle Kolyada <zlogene@gentoo.org>
* sci-mathematics/coq: migrate from dev-tex/xcolorMikle Kolyada2019-11-044-95/+3
| | | | | Package-Manager: Portage-2.3.76, Repoman-2.3.16 Signed-off-by: Mikle Kolyada <zlogene@gentoo.org>
* sci-mathematics/coq: Bump to 8.9.1Mark Wright2019-09-242-0/+87
| | | | | | | | | Thanks to Han and Anton Kochkov for requesting the bump. Closes: https://bugs.gentoo.org/653864 Closes: https://bugs.gentoo.org/672038 Package-Manager: Portage-2.3.76, Repoman-2.3.17 Signed-off-by: Mark Wright <gienah@gentoo.org>
* sci-mathematics/coq: Drop obsolete dev-texlive/texlive-mathextraAndreas Sturmlechner2018-04-092-4/+4
| | | | Package-Manager: Portage-2.3.28, Repoman-2.3.9
* 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
| | | | Package-Manager: Portage-2.3.6, Repoman-2.3.2
* sci-mathematics/coq: Remove oldAlexis Ballier2017-07-145-228/+0
| | | | Package-Manager: Portage-2.3.6, Repoman-2.3.2
* 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-283-3/+0
| | | | Signed-off-by: Robin H. Johnson <robbat2@gentoo.org>
* sci-mathematics/coq: adjust deps for TeX Live 2016.Alexis Ballier2017-01-233-6/+6
| | | | Package-Manager: Portage-2.3.3, Repoman-2.3.1
* sci-mathematics/coq: remove oldAlexis Ballier2017-01-234-208/+0
| | | | 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-192-0/+92
| | | | Package-Manager: Portage-2.3.3, Repoman-2.3.1
* sci-mathematics/coq: bump to 8.5pl3Alexis Ballier2016-11-152-0/+97
| | | | Package-Manager: portage-2.3.2
* sci-mathematics/coq: drop ocaml 4.03 patch; it is not needed anymore.Alexis Ballier2016-08-121-1/+0
| | | | Package-Manager: portage-2.3.0
* sci-mathematics/coq: bump to 8.5pl2Alexis Ballier2016-07-132-0/+98
| | | | Package-Manager: portage-2.3.0
* sci-mathematics/coq: Clean up old.Patrice Clement2016-06-253-39/+0
| | | | Package-Manager: portage-2.2.28
* sci-mathematics/coq: Clean up old.Patrice Clement2016-06-253-208/+0
| | | | Package-Manager: portage-2.2.28
* sci-mathematics/coq: Stable for amd64. Retroactively mark stable for the ↵Patrice Clement2016-06-251-6/+11
| | | | | | | remaining arches using the ALLARCHES policy. Package-Manager: portage-2.2.28 Gentoo-Bug: https://bugs.gentoo.org/586932
* Revert "sci-mathematics/coq: Remove := from || dep, #586304"Alexis Ballier2016-06-232-4/+4
| | | | | | | | | | | | | | | | | | | This reverts commit 84224f26f9c893299a487431e2ee005b1795f01c. This commit is wrong in several aspects: - Such changes should come with a revbump - Removing := deps causes packages not to be rebuilt on upgrades, causing barely understandable build failures when upgrading, later on. Thanks to this commit, people that have installed those packages will likely experience those failures with the upcoming ocaml 4.03 unmask. - This is a non maintainer commit where no discussion at all happened with the maintainers during the 3 days between bug report and mass commit. Such discussion could have prevented the above mentioned breakage. Proper fix is to drop the backward compatibility part of the || () dep. This fix was slowly moving forward whenever possible and noticed. Main blocker for this is bug #463018 which requires taking extra care for not breaking the stable tree nor needlessly preventing future stabilization of packages.
* 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
| | | | | Package-Manager: portage-2.2.28 Signed-off-by: Alexis Ballier <aballier@gentoo.org>
* sci-mathematics/coq: bump to 8.5pl1Alexis Ballier2016-04-112-0/+97
| | | | | Package-Manager: portage-2.2.28 Signed-off-by: Alexis Ballier <aballier@gentoo.org>
* 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
| | | | | Replace all uses of herd with appropriate project maintainers, or no maintainers in case of herds requested to be disbanded.
* sci-mathematics/coq: bump to 8.5Alexis Ballier2016-01-233-0/+116
| | | | | Package-Manager: portage-2.2.27 Signed-off-by: Alexis Ballier <aballier@gentoo.org>
* sci-mathematics/coq: remove oldAlexis Ballier2015-11-126-351/+0
| | | | | Package-Manager: portage-2.2.24 Signed-off-by: Alexis Ballier <aballier@gentoo.org>
* sci-mathematics/coq: ppc stable wrt bug #553322Agostino Sarubbo2015-11-121-1/+1
| | | | | Package-Manager: portage-2.2.20.1 RepoMan-Options: --include-arches="ppc"
* sci-mathematics/coq: x86 stable wrt bug #553322Agostino Sarubbo2015-11-111-1/+1
| | | | | Package-Manager: portage-2.2.20.1 RepoMan-Options: --include-arches="x86"
* Update hashes in ManifestJustin Lecher2015-09-231-1/+1
| | | | | | Add missing SHA512 and WHIRLPOOL hashes Signed-off-by: Justin Lecher <jlec@gentoo.org>
* Revert DOCTYPE SYSTEM https changes in metadata.xmlMike Gilbert2015-08-241-1/+1
| | | | | | | repoman does not yet accept the https version. This partially reverts eaaface92ee81f30a6ac66fe7acbcc42c00dc450. Bug: https://bugs.gentoo.org/552720
* Use https by defaultJustin Lecher2015-08-241-1/+1
| | | | | | Convert all URLs for sites supporting encrypted connections from http to https Signed-off-by: Justin Lecher <jlec@gentoo.org>
* proj/gentoo: Initial commitRobin H. Johnson2015-08-0813-0/+632
This commit represents a new era for Gentoo: Storing the gentoo-x86 tree in Git, as converted from CVS. This commit is the start of the NEW history. Any historical data is intended to be grafted onto this point. Creation process: 1. Take final CVS checkout snapshot 2. Remove ALL ChangeLog* files 3. Transform all Manifests to thin 4. Remove empty Manifests 5. Convert all stale $Header$/$Id$ CVS keywords to non-expanded Git $Id$ 5.1. Do not touch files with -kb/-ko keyword flags. Signed-off-by: Robin H. Johnson <robbat2@gentoo.org> X-Thanks: Alec Warner <antarus@gentoo.org> - did the GSoC 2006 migration tests X-Thanks: Robin H. Johnson <robbat2@gentoo.org> - infra guy, herding this project X-Thanks: Nguyen Thai Ngoc Duy <pclouds@gentoo.org> - Former Gentoo developer, wrote Git features for the migration X-Thanks: Brian Harring <ferringb@gentoo.org> - wrote much python to improve cvs2svn X-Thanks: Rich Freeman <rich0@gentoo.org> - validation scripts X-Thanks: Patrick Lauer <patrick@gentoo.org> - Gentoo dev, running new 2014 work in migration X-Thanks: Michał Górny <mgorny@gentoo.org> - scripts, QA, nagging X-Thanks: All of other Gentoo developers - many ideas and lots of paint on the bikeshed