blob: 2fde470699b170dff6033e371921b8cbb6ab0376 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
|
# 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
|