# ChangeLog for sci-mathematics/coq # Copyright 1999-2016 Gentoo Foundation; Distributed under the GPL v2 # (auto-generated from git log) *coq-8.4_p6 (09 Aug 2015) *coq-8.4_p5 (09 Aug 2015) *coq-8.4_p3 (09 Aug 2015) *coq-8.4_p2 (09 Aug 2015) *coq-8.4_p1 (09 Aug 2015) *coq-8.3_p1 (09 Aug 2015) 09 Aug 2015; Robin H. Johnson +coq-8.3_p1.ebuild, +coq-8.4_p1.ebuild, +coq-8.4_p2.ebuild, +coq-8.4_p3.ebuild, +coq-8.4_p5.ebuild, +coq-8.4_p6.ebuild, +files/coq-8.4_p1-camlp4.patch, +files/coq-8.4_p5-do-not-install-revision.patch, +files/coq-8.4_p5-hevea.patch, +files/coq-8.4_p5-no-clean-before-test.patch, +files/coqide.desktop, +metadata.xml: proj/gentoo: Initial commit 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 X-Thanks: Alec Warner - did the GSoC 2006 migration tests X-Thanks: Robin H. Johnson - infra guy, herding this project X-Thanks: Nguyen Thai Ngoc Duy - Former Gentoo developer, wrote Git features for the migration X-Thanks: Brian Harring - wrote much python to improve cvs2svn X-Thanks: Rich Freeman - validation scripts X-Thanks: Patrick Lauer - Gentoo dev, running new 2014 work in migration X-Thanks: Michał Górny - scripts, QA, nagging X-Thanks: All of other Gentoo developers - many ideas and lots of paint on the bikeshed 24 Aug 2015; Justin Lecher metadata.xml: Use https by default Convert all URLs for sites supporting encrypted connections from http to https Signed-off-by: Justin Lecher 24 Aug 2015; Mike Gilbert metadata.xml: Revert DOCTYPE SYSTEM https changes in metadata.xml repoman does not yet accept the https version. This partially reverts eaaface92ee81f30a6ac66fe7acbcc42c00dc450. Bug: https://bugs.gentoo.org/552720 11 Nov 2015; Agostino Sarubbo coq-8.4_p5.ebuild: x86 stable wrt bug #553322 Package-Manager: portage-2.2.20.1 RepoMan-Options: --include-arches="x86" 12 Nov 2015; Agostino Sarubbo coq-8.4_p5.ebuild: ppc stable wrt bug #553322 Package-Manager: portage-2.2.20.1 RepoMan-Options: --include-arches="ppc" 12 Nov 2015; Alexis Ballier -coq-8.3_p1.ebuild, -coq-8.4_p1.ebuild, -coq-8.4_p2.ebuild, -coq-8.4_p3.ebuild, -files/coq-8.4_p1-camlp4.patch: remove old Package-Manager: portage-2.2.24 Signed-off-by: Alexis Ballier *coq-8.5 (23 Jan 2016) 23 Jan 2016; Alexis Ballier +coq-8.5.ebuild, +files/coq-8.5-do-not-install-revision.patch: bump to 8.5 Package-Manager: portage-2.2.27 Signed-off-by: Alexis Ballier 24 Jan 2016; Michał Górny metadata.xml: Replace all herds with appropriate projects (GLEP 67) Replace all uses of herd with appropriate project maintainers, or no maintainers in case of herds requested to be disbanded. 24 Jan 2016; Michał Górny metadata.xml: Set appropriate maintainer types in metadata.xml (GLEP 67) *coq-8.5_p1 (11 Apr 2016) 11 Apr 2016; Alexis Ballier +coq-8.5_p1.ebuild: bump to 8.5pl1 Package-Manager: portage-2.2.28 Signed-off-by: Alexis Ballier 03 May 2016; Alexis Ballier coq-8.5_p1.ebuild, +files/oc43.patch: fix build with ocaml 4.03 Package-Manager: portage-2.2.28 Signed-off-by: Alexis Ballier 21 Jun 2016; Michał Górny coq-8.4_p5.ebuild, coq-8.4_p6.ebuild: Remove := from || dep, #586304 23 Jun 2016; Alexis Ballier coq-8.4_p5.ebuild, coq-8.4_p6.ebuild: Revert "sci-mathematics/coq: Remove := from || dep, #586304" 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. 25 Jun 2016; Patrice Clement coq-8.5.ebuild: Stable for amd64. Retroactively mark stable for the remaining arches using the ALLARCHES policy. Package-Manager: portage-2.2.28 Gentoo-Bug: https://bugs.gentoo.org/586932 25 Jun 2016; Patrice Clement -coq-8.4_p5.ebuild, -coq-8.4_p6.ebuild: Clean up old. Package-Manager: portage-2.2.28 25 Jun 2016; Patrice Clement -files/coq-8.4_p5-do-not-install-revision.patch, -files/coq-8.4_p5-hevea.patch, -files/coqide.desktop: Clean up old. Package-Manager: portage-2.2.28 *coq-8.5_p2 (13 Jul 2016) 13 Jul 2016; Alexis Ballier +coq-8.5_p2.ebuild: bump to 8.5pl2 Package-Manager: portage-2.3.0 12 Aug 2016; Alexis Ballier coq-8.5_p2.ebuild: drop ocaml 4.03 patch; it is not needed anymore. Package-Manager: portage-2.3.0 *coq-8.5_p3 (15 Nov 2016) 15 Nov 2016; Alexis Ballier +coq-8.5_p3.ebuild: bump to 8.5pl3 Package-Manager: portage-2.3.2