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
* **/metadata.xml: Replace http by https in DOCTYPE elementUlrich Müller2021-09-111-1/+1
| | | | | Bug: https://bugs.gentoo.org/552720 Signed-off-by: Ulrich Müller <ulm@gentoo.org>
* sci-mathematics/coq: use a dependency default flagViorel Munteanu2021-07-263-0/+268
| | | | | | | | | | media-libs/netpbm is dropping zlib USE flag Closes: https://bugs.gentoo.org/801442 Package-Manager: Portage-3.0.20, Repoman-3.0.2 Signed-off-by: Viorel Munteanu <ceamac.paragon@gmail.com> Closes: https://github.com/gentoo/gentoo/pull/21580 Signed-off-by: Andrew Ammerlaan <andrewammerlaan@gentoo.org>
* sci-mathematics/coq: serialize installAlfredo Tupone2021-04-062-2/+2
| | | | | | Closes: https://bugs.gentoo.org/780114 Package-Manager: Portage-3.0.13, Repoman-3.0.2 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* sci-mathematics/coq: drop 8.6.1-r1, 8.9.1-r1Sam James2021-03-134-182/+0
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* sci-mathematics/coq: Stabilize 8.12.0-r1 x86, #769317Sam James2021-02-111-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* sci-mathematics/coq: Stabilize 8.12.0-r1 amd64, #769317Sam James2021-02-101-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* sci-mathematics/coq: bumping back to 8.11.2Alfredo Tupone2021-02-092-0/+91
| | | | | Package-Manager: Portage-3.0.13, Repoman-3.0.2 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* sci-mathematics/coq: bump to 8.13.0Sam James2021-02-082-0/+89
| | | | | Package-Manager: Portage-3.0.14, Repoman-3.0.2 Signed-off-by: Sam James <sam@gentoo.org>
* sci-mathematics/coq: add github remote-idSam James2021-02-081-0/+3
| | | | | Package-Manager: Portage-3.0.14, Repoman-3.0.2 Signed-off-by: Sam James <sam@gentoo.org>
* sci-mathematics/coq: fix metadata indentationSam James2021-02-081-20/+22
| | | | | Package-Manager: Portage-3.0.14, Repoman-3.0.2 Signed-off-by: Sam James <sam@gentoo.org>
* sci-mathematics/coq: lower OCaml depSam James2021-02-081-4/+6
| | | | | | Bug: https://bugs.gentoo.org/769317 Package-Manager: Portage-3.0.14, Repoman-3.0.2 Signed-off-by: Sam James <sam@gentoo.org>
* sci-mathematics/coq: Remove oldJakov Smolic2021-01-201-86/+0
| | | | | Signed-off-by: Jakov Smolic <jakov.smolic@sartura.hr> Signed-off-by: David Seifert <soap@gentoo.org>
* sci-mathematics/coq: Bump to 8.12.0Mark Wright2020-10-132-0/+89
| | | | | | | | Thanks to Anton Kochkov and Sergio Perez for reporting. Closes: https://bugs.gentoo.org/697066 Package-Manager: Portage-3.0.8, Repoman-3.0.1 Signed-off-by: Mark Wright <gienah@gentoo.org>
* 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>