# 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.8 2015/01/30 03:04:58 patrick Exp $ 30 Jan 2015; Patrick Lauer -agda-stdlib-0.6.ebuild: Remove old version with unsatisfied dependencies *agda-stdlib-0.9 (14 Dec 2014) 14 Dec 2014; Mark Wright +agda-stdlib-0.9.ebuild: Bump agda-stdlib to 0.9 *agda-stdlib-0.8 (02 Jul 2014) 02 Jul 2014; Mark Wright +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 +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 +agda-stdlib-0.7.ebuild: Bump agda-stdlib to 0.7 *agda-stdlib-0.7_pre20130109 (10 Jan 2013) 10 Jan 2013; Mark Wright +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 +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 +agda-stdlib-0.6.ebuild, +files/50agda-stdlib-gentoo.el, +metadata.xml: Thanks to tomprince for adding support for agda-stdlib.