sci-mathematics/agda-lib-ffi/ChangeLog-2015


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