20 lines
820 B
Text
20 lines
820 B
Text
# 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 <gienah@gentoo.org> +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 <slyfox@gentoo.org> agda-lib-ffi-0.0.2.ebuild:
|
|
Port to upcoming ghc-7.10.
|
|
|
|
10 Aug 2014; Sergei Trofimovich <slyfox@gentoo.org> 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 <gienah@gentoo.org> +agda-lib-ffi-0.0.2.ebuild,
|
|
+metadata.xml:
|
|
Thanks to vikraman for writing the agda-lib-ffi ebuild
|