patrick 15/01/30 03:04:58 Modified: ChangeLog Removed: agda-stdlib-0.6.ebuild Log: Remove old version with unsatisfied dependencies (Portage version: 2.2.15/cvs/Linux x86_64, unsigned Manifest commit)
Revision Changes Path 1.8 sci-mathematics/agda-stdlib/ChangeLog file : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/sci-mathematics/agda-stdlib/ChangeLog?rev=1.8&view=markup plain: http://sources.gentoo.org/viewvc.cgi/gentoo-x86/sci-mathematics/agda-stdlib/ChangeLog?rev=1.8&content-type=text/plain diff : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/sci-mathematics/agda-stdlib/ChangeLog?r1=1.7&r2=1.8 Index: ChangeLog =================================================================== RCS file: /var/cvsroot/gentoo-x86/sci-mathematics/agda-stdlib/ChangeLog,v retrieving revision 1.7 retrieving revision 1.8 diff -u -r1.7 -r1.8 --- ChangeLog 14 Dec 2014 10:46:53 -0000 1.7 +++ ChangeLog 30 Jan 2015 03:04:58 -0000 1.8 @@ -1,6 +1,9 @@ # ChangeLog for sci-mathematics/agda-stdlib -# Copyright 1999-2014 Gentoo Foundation; Distributed under the GPL v2 -# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/agda-stdlib/ChangeLog,v 1.7 2014/12/14 10:46:53 gienah Exp $ +# 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 $ + + 30 Jan 2015; Patrick Lauer <patr...@gentoo.org> -agda-stdlib-0.6.ebuild: + Remove old version with unsatisfied dependencies *agda-stdlib-0.9 (14 Dec 2014)
