diff options
Diffstat (limited to 'sci-mathematics/agda/ChangeLog')
| -rw-r--r-- | sci-mathematics/agda/ChangeLog | 10 |
1 files changed, 8 insertions, 2 deletions
diff --git a/sci-mathematics/agda/ChangeLog b/sci-mathematics/agda/ChangeLog index d86945923601..6fd841ef0907 100644 --- a/sci-mathematics/agda/ChangeLog +++ b/sci-mathematics/agda/ChangeLog @@ -1,6 +1,12 @@ # ChangeLog for sci-mathematics/agda -# Copyright 1999-2013 Gentoo Foundation; Distributed under the GPL v2 -# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/agda/ChangeLog,v 1.25 2013/12/10 11:25:16 gienah Exp $ +# Copyright 1999-2014 Gentoo Foundation; Distributed under the GPL v2 +# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/agda/ChangeLog,v 1.26 2014/02/25 15:40:58 slyfox Exp $ + + 25 Feb 2014; Sergei Trofimovich <slyfox@gentoo.org> -agda-1.0.2-r2.ebuild, + -agda-2.2.6-r1.ebuild, -files/50agda-gentoo.el, + -files/agda-1.0.2-upstream-fixes.patch, -files/agda-2.2.6-emacs.patch, + agda-2.3.2.2-r1.ebuild: + Drop old. *agda-2.3.2.2-r1 (10 Dec 2013) |