# ChangeLog for sci-mathematics/agda # Copyright 1999-2016 Gentoo Foundation; Distributed under the GPL v2 # (auto-generated from git log) *agda-2.4.2.3-r1 (09 Aug 2015) *agda-2.4.2.2-r1 (09 Aug 2015) *agda-2.4.0.1 (09 Aug 2015) 09 Aug 2015; Robin H. Johnson +agda-2.4.0.1.ebuild, +agda-2.4.2.2-r1.ebuild, +agda-2.4.2.3-r1.ebuild, +files/50agda2-gentoo.el, +files/agda-make_install.patch, +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 *agda-2.4.2.3-r2 (27 Sep 2015) 27 Sep 2015; Sergei Trofimovich +agda-2.4.2.3-r2.ebuild: fix .agdai file generation on install, bug #559326 As we build dynamically linked binaries now we need to add LD_LIBRARY_PATH to temporary llibrary localtions to generate .agdai files. Reported-by: Toralf Förster Bug: https://bugs.gentoo.org/559326 Package-Manager: portage-2.2.22 *agda-2.4.2.3-r3 (13 Jan 2016) 13 Jan 2016; Jauhien Piatlicki +agda-2.4.2.3-r3.ebuild: fix dev-haskell/cpphs dependency Package-Manager: portage-2.2.26 *agda-2.4.2.5 (13 Jan 2016) 13 Jan 2016; Jauhien Piatlicki +agda-2.4.2.5.ebuild: sci-mathematics/{agda,agda-stdlib}: version bump Gentoo-Bug: 561772 Package-Manager: portage-2.2.26 24 Jan 2016; Michał Górny metadata.xml: Unify quoting in metadata.xml files for machine processing Force unified quoting in all metadata.xml files since lxml does not preserve original use of single and double quotes. Ensuring unified quoting before the process allows distinguishing the GLEP 67-related metadata.xml changes from unrelated quoting changes. 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) *agda-2.4.2.5-r1 (08 Feb 2016) 08 Feb 2016; Sergei Trofimovich +agda-2.4.2.5-r1.ebuild, +files/agda-2.4.2.5-hashtables.patch: fix hastables build failure, bu #574204 While at it made USE=emacs depend and files optional, fixed agda library reregistration. Reported-by: Toralf Förster Bug: https://bugs.gentoo.org/show_bug.cgi?id=574204 Package-Manager: portage-2.2.27 03 Apr 2016; Sergei Trofimovich -agda-2.4.0.1.ebuild, -agda-2.4.2.2-r1.ebuild, -agda-2.4.2.3-r1.ebuild, -agda-2.4.2.3-r2.ebuild, -agda-2.4.2.3-r3.ebuild: drop old Package-Manager: portage-2.2.28 03 Apr 2016; Sergei Trofimovich metadata.xml: drop unused local USE-description: 'epic' Package-Manager: portage-2.2.28 *agda-2.4.2.5-r2 (03 Apr 2016) 03 Apr 2016; Sergei Trofimovich +agda-2.4.2.5-r2.ebuild, -files/agda-make_install.patch: allow transformers-compat-0.4 Package-Manager: portage-2.2.28 22 Apr 2016; Sergei Trofimovich -agda-2.4.2.5.ebuild, -agda-2.4.2.5-r1.ebuild: drop old Package-Manager: portage-2.2.28 11 Sep 2016; Sergei Trofimovich agda-2.4.2.5-r2.ebuild: allow cpphs-1.20 Package-Manager: portage-2.3.0 18 Nov 2016; Sergei Trofimovich agda-2.4.2.5-r2.ebuild: allow alex-3.2, bug #600034 Reported-by: Anton Kochkov Bug: https://bugs.gentoo.org/600034 Package-Manager: portage-2.3.2