Gentoo Archives: gentoo-commits

From: "Patrick Lauer (patrick)" <patrick@g.o>
To: gentoo-commits@l.g.o
Subject: [gentoo-commits] gentoo-x86 commit in sci-mathematics/agda-stdlib: ChangeLog agda-stdlib-0.6.ebuild
Date: Fri, 30 Jan 2015 03:05:01
Message-Id: 20150130030458.7A2E810A27@oystercatcher.gentoo.org
1 patrick 15/01/30 03:04:58
2
3 Modified: ChangeLog
4 Removed: agda-stdlib-0.6.ebuild
5 Log:
6 Remove old version with unsatisfied dependencies
7
8 (Portage version: 2.2.15/cvs/Linux x86_64, unsigned Manifest commit)
9
10 Revision Changes Path
11 1.8 sci-mathematics/agda-stdlib/ChangeLog
12
13 file : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/sci-mathematics/agda-stdlib/ChangeLog?rev=1.8&view=markup
14 plain: http://sources.gentoo.org/viewvc.cgi/gentoo-x86/sci-mathematics/agda-stdlib/ChangeLog?rev=1.8&content-type=text/plain
15 diff : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/sci-mathematics/agda-stdlib/ChangeLog?r1=1.7&r2=1.8
16
17 Index: ChangeLog
18 ===================================================================
19 RCS file: /var/cvsroot/gentoo-x86/sci-mathematics/agda-stdlib/ChangeLog,v
20 retrieving revision 1.7
21 retrieving revision 1.8
22 diff -u -r1.7 -r1.8
23 --- ChangeLog 14 Dec 2014 10:46:53 -0000 1.7
24 +++ ChangeLog 30 Jan 2015 03:04:58 -0000 1.8
25 @@ -1,6 +1,9 @@
26 # ChangeLog for sci-mathematics/agda-stdlib
27 -# Copyright 1999-2014 Gentoo Foundation; Distributed under the GPL v2
28 -# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/agda-stdlib/ChangeLog,v 1.7 2014/12/14 10:46:53 gienah Exp $
29 +# Copyright 1999-2015 Gentoo Foundation; Distributed under the GPL v2
30 +# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/agda-stdlib/ChangeLog,v 1.8 2015/01/30 03:04:58 patrick Exp $
31 +
32 + 30 Jan 2015; Patrick Lauer <patrick@g.o> -agda-stdlib-0.6.ebuild:
33 + Remove old version with unsatisfied dependencies
34
35 *agda-stdlib-0.9 (14 Dec 2014)