slyfox 15/08/02 10:52:08
Modified: ChangeLog
Removed: agda-2.3.2.2-r1.ebuild agda-2.3.2-r5.ebuild
agda-2.3.2.1-r1.ebuild
Log:
Drop old.
(Portage version: 2.2.20/cvs/Linux x86_64, signed Manifest commit with key
611FF3AA)
Revision Changes Path
1.32 sci-mathematics/agda/ChangeLog
file :
http://sources.gentoo.org/viewvc.cgi/gentoo-x86/sci-mathematics/agda/ChangeLog?rev=1.32&view=markup
plain:
http://sources.gentoo.org/viewvc.cgi/gentoo-x86/sci-mathematics/agda/ChangeLog?rev=1.32&content-type=text/plain
diff :
http://sources.gentoo.org/viewvc.cgi/gentoo-x86/sci-mathematics/agda/ChangeLog?r1=1.31&r2=1.32
Index: ChangeLog
===================================================================
RCS file: /var/cvsroot/gentoo-x86/sci-mathematics/agda/ChangeLog,v
retrieving revision 1.31
retrieving revision 1.32
diff -u -r1.31 -r1.32
--- ChangeLog 4 Apr 2015 12:52:28 -0000 1.31
+++ ChangeLog 2 Aug 2015 10:52:08 -0000 1.32
@@ -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 <[email protected]> -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 <[email protected]> agda-2.4.2.2-r1.ebuild:
Loosen cpphs dep in agda-2.4.2.2-r1
