slyfox 15/08/02 10:49:32 Modified: ChangeLog Removed: agda-stdlib-0.7-r1.ebuild agda-stdlib-0.7.ebuild Log: Drop old. (Portage version: 2.2.20/cvs/Linux x86_64, signed Manifest commit with key 611FF3AA)
Revision Changes Path 1.9 sci-mathematics/agda-stdlib/ChangeLog file : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/sci-mathematics/agda-stdlib/ChangeLog?rev=1.9&view=markup plain: http://sources.gentoo.org/viewvc.cgi/gentoo-x86/sci-mathematics/agda-stdlib/ChangeLog?rev=1.9&content-type=text/plain diff : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/sci-mathematics/agda-stdlib/ChangeLog?r1=1.8&r2=1.9 Index: ChangeLog =================================================================== RCS file: /var/cvsroot/gentoo-x86/sci-mathematics/agda-stdlib/ChangeLog,v retrieving revision 1.8 retrieving revision 1.9 diff -u -r1.8 -r1.9 --- ChangeLog 30 Jan 2015 03:04:58 -0000 1.8 +++ ChangeLog 2 Aug 2015 10:49:32 -0000 1.9 @@ -1,6 +1,10 @@ # ChangeLog for sci-mathematics/agda-stdlib # Copyright 1999-2015 Gentoo Foundation; Distributed under the GPL v2 -# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/agda-stdlib/ChangeLog,v 1.8 2015/01/30 03:04:58 patrick Exp $ +# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/agda-stdlib/ChangeLog,v 1.9 2015/08/02 10:49:32 slyfox Exp $ + + 02 Aug 2015; Sergei Trofimovich <[email protected]> + -agda-stdlib-0.7-r1.ebuild, -agda-stdlib-0.7.ebuild: + Drop old. 30 Jan 2015; Patrick Lauer <[email protected]> -agda-stdlib-0.6.ebuild: Remove old version with unsatisfied dependencies
