diff options
Diffstat (limited to 'sci-mathematics/agda/ChangeLog')
| -rw-r--r-- | sci-mathematics/agda/ChangeLog | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/sci-mathematics/agda/ChangeLog b/sci-mathematics/agda/ChangeLog index 7f8e1fa37ad7..6dcc30fc9198 100644 --- a/sci-mathematics/agda/ChangeLog +++ b/sci-mathematics/agda/ChangeLog @@ -1,6 +1,12 @@ # ChangeLog for sci-mathematics/agda # Copyright 1999-2015 Gentoo Foundation; Distributed under the GPL v2 -# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/agda/ChangeLog,v 1.31 2015/04/04 12:52:28 gienah Exp $ +# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/agda/ChangeLog,v 1.32 2015/08/02 10:52:08 slyfox Exp $ + + 02 Aug 2015; Sergei Trofimovich <slyfox@gentoo.org> -agda-2.3.2-r5.ebuild, + -agda-2.3.2.1-r1.ebuild, -agda-2.3.2.2-r1.ebuild, + -files/agda-2.3.2-hashable-1.2.patch, + -files/agda-2.3.2.1-haskell-src-exts-1.14.patch: + Drop old. 04 Apr 2015; Mark Wright <gienah@gentoo.org> agda-2.4.2.2-r1.ebuild: Loosen cpphs dep in agda-2.4.2.2-r1 |