# ChangeLog for sci-mathematics/agda-lib-ffi # Copyright 1999-2015 Gentoo Foundation; Distributed under the GPL v2 # $Header: /var/cvsroot/gentoo-x86/sci-mathematics/agda-lib-ffi/ChangeLog,v 1.4 2015/08/02 13:56:54 gienah Exp $ *agda-lib-ffi-0.0.2-r2 (02 Aug 2015) 02 Aug 2015; Mark Wright +agda-lib-ffi-0.0.2-r2.ebuild: Bump agda-lib-ffi to 0.0.2-r2 for agda stdlib 2.4.2.3 01 Jun 2015; Sergei Trofimovich agda-lib-ffi-0.0.2.ebuild: Port to upcoming ghc-7.10. 10 Aug 2014; Sergei Trofimovich agda-lib-ffi-0.0.2.ebuild: QA: drop trailing '.' from DESCRIPTION *agda-lib-ffi-0.0.2 (02 Jul 2014) 02 Jul 2014; Mark Wright +agda-lib-ffi-0.0.2.ebuild, +metadata.xml: Thanks to vikraman for writing the agda-lib-ffi ebuild