1 files changed, 61 insertions, 0 deletions
diff --git a/sci-mathematics/agda-stdlib/ChangeLog-2015 b/sci-mathematics/agda-stdlib/ChangeLog-2015
new file mode 100644
index 00000000..4d24805b
--- /dev/null
+++ b/sci-mathematics/agda-stdlib/ChangeLog-2015
@@ -0,0 +1,61 @@
+# ChangeLog for sci-mathematics/agda-stdlib
+# Copyright 1999-2015 Gentoo Foundation; Distributed under the GPL v2
+# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/agda-stdlib/ChangeLog,v 1.10 2015/08/02 13:55:54 gienah Exp $
+
+*agda-stdlib-2.4.2.3 (02 Aug 2015)
+
+  02 Aug 2015; Mark Wright <gienah@gentoo.org> +agda-stdlib-2.4.2.3.ebuild:
+  Bump agda-stdlib to 2.4.2.3
+
+  02 Aug 2015; Sergei Trofimovich <slyfox@gentoo.org>
+  -agda-stdlib-0.7-r1.ebuild, -agda-stdlib-0.7.ebuild:
+  Drop old.
+
+  30 Jan 2015; Patrick Lauer <patrick@gentoo.org> -agda-stdlib-0.6.ebuild:
+  Remove old version with unsatisfied dependencies
+
+*agda-stdlib-0.9 (14 Dec 2014)
+
+  14 Dec 2014; Mark Wright <gienah@gentoo.org> +agda-stdlib-0.9.ebuild:
+  Bump agda-stdlib to 0.9
+
+*agda-stdlib-0.8 (02 Jul 2014)
+
+  02 Jul 2014; Mark Wright <gienah@gentoo.org> +agda-stdlib-0.8.ebuild,
+  metadata.xml:
+  Bump agda-stdlib to 0.8
+
+*agda-stdlib-0.7-r1 (10 Dec 2013)
+
+  10 Dec 2013; Mark Wright <gienah@gentoo.org> +agda-stdlib-0.7-r1.ebuild,
+  -agda-stdlib-0.7_pre20121118.ebuild, -agda-stdlib-0.7_pre20130109.ebuild:
+  Thanks to vikraman: The agda-lib-ffi package provides some additional haskell
+  modules which are needed by the agda standard library, such as during
+  compilation using the MAlonzo backend. It is available inside the ffi/
+  directory and needs to be built and installed by the ebuild.
+
+*agda-stdlib-0.7 (13 Sep 2013)
+
+  13 Sep 2013; Mark Wright <gienah@gentoo.org> +agda-stdlib-0.7.ebuild:
+  Bump agda-stdlib to 0.7
+
+*agda-stdlib-0.7_pre20130109 (10 Jan 2013)
+
+  10 Jan 2013; Mark Wright <gienah@gentoo.org>
+  +agda-stdlib-0.7_pre20130109.ebuild, agda-stdlib-0.6.ebuild,
+  agda-stdlib-0.7_pre20121118.ebuild:
+  Bump agda-stdlib snapshot to 20130109, install .agda and .agdai files with
+  --preserve-timestamps
+
+*agda-stdlib-0.7_pre20121118 (18 Nov 2012)
+
+  18 Nov 2012; Mark Wright <gienah@gentoo.org>
+  +agda-stdlib-0.7_pre20121118.ebuild:
+  Bump agda stdlib to a development snapshot, which I just name 0.7_pre20121118
+  because I have to call it something, for agda 2.3.2.
+
+*agda-stdlib-0.6 (25 Mar 2012)
+
+  25 Mar 2012; Mark Wright <gienah@gentoo.org> +agda-stdlib-0.6.ebuild,
+  +files/50agda-stdlib-gentoo.el, +metadata.xml:
+  Thanks to tomprince for adding support for agda-stdlib.