diff options
Diffstat (limited to 'sci-mathematics/agda-stdlib/ChangeLog-2015')
-rw-r--r-- | sci-mathematics/agda-stdlib/ChangeLog-2015 | 61 |
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. |