| 1 |
aballier 09/05/18 06:38:23 |
| 2 |
|
| 3 |
Modified: metadata.xml ChangeLog |
| 4 |
Removed: coq-8.1_p3.ebuild coq-8.1_p3-r1.ebuild |
| 5 |
Log: |
| 6 |
remove old |
| 7 |
(Portage version: 2.2_rc33/cvs/Linux x86_64) |
| 8 |
|
| 9 |
Revision Changes Path |
| 10 |
1.6 sci-mathematics/coq/metadata.xml |
| 11 |
|
| 12 |
file : http://sources.gentoo.org/viewcvs.py/gentoo-x86/sci-mathematics/coq/metadata.xml?rev=1.6&view=markup |
| 13 |
plain: http://sources.gentoo.org/viewcvs.py/gentoo-x86/sci-mathematics/coq/metadata.xml?rev=1.6&content-type=text/plain |
| 14 |
diff : http://sources.gentoo.org/viewcvs.py/gentoo-x86/sci-mathematics/coq/metadata.xml?r1=1.5&r2=1.6 |
| 15 |
|
| 16 |
Index: metadata.xml |
| 17 |
=================================================================== |
| 18 |
RCS file: /var/cvsroot/gentoo-x86/sci-mathematics/coq/metadata.xml,v |
| 19 |
retrieving revision 1.5 |
| 20 |
retrieving revision 1.6 |
| 21 |
diff -u -r1.5 -r1.6 |
| 22 |
--- metadata.xml 6 Aug 2008 20:21:14 -0000 1.5 |
| 23 |
+++ metadata.xml 18 May 2009 06:38:23 -0000 1.6 |
| 24 |
@@ -4,8 +4,6 @@ |
| 25 |
<herd>sci</herd> |
| 26 |
<herd>ml</herd> |
| 27 |
<use> |
| 28 |
- <flag name='ide'>Build the Coq IDE, a clone of proof general using |
| 29 |
- <pkg>dev-ml/lablgtk</pkg></flag> |
| 30 |
<flag name='norealanalysis'>Do not build real analysis modules |
| 31 |
(faster compilation)</flag> |
| 32 |
</use> |
| 33 |
|
| 34 |
|
| 35 |
|
| 36 |
1.41 sci-mathematics/coq/ChangeLog |
| 37 |
|
| 38 |
file : http://sources.gentoo.org/viewcvs.py/gentoo-x86/sci-mathematics/coq/ChangeLog?rev=1.41&view=markup |
| 39 |
plain: http://sources.gentoo.org/viewcvs.py/gentoo-x86/sci-mathematics/coq/ChangeLog?rev=1.41&content-type=text/plain |
| 40 |
diff : http://sources.gentoo.org/viewcvs.py/gentoo-x86/sci-mathematics/coq/ChangeLog?r1=1.40&r2=1.41 |
| 41 |
|
| 42 |
Index: ChangeLog |
| 43 |
=================================================================== |
| 44 |
RCS file: /var/cvsroot/gentoo-x86/sci-mathematics/coq/ChangeLog,v |
| 45 |
retrieving revision 1.40 |
| 46 |
retrieving revision 1.41 |
| 47 |
diff -u -r1.40 -r1.41 |
| 48 |
--- ChangeLog 18 Feb 2009 18:07:53 -0000 1.40 |
| 49 |
+++ ChangeLog 18 May 2009 06:38:23 -0000 1.41 |
| 50 |
@@ -1,6 +1,10 @@ |
| 51 |
# ChangeLog for sci-mathematics/coq |
| 52 |
-# Copyright 2000-2009 Gentoo Foundation; Distributed under the GPL v2 |
| 53 |
-# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/coq/ChangeLog,v 1.40 2009/02/18 18:07:53 aballier Exp $ |
| 54 |
+# Copyright 1999-2009 Gentoo Foundation; Distributed under the GPL v2 |
| 55 |
+# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/coq/ChangeLog,v 1.41 2009/05/18 06:38:23 aballier Exp $ |
| 56 |
+ |
| 57 |
+ 18 May 2009; Alexis Ballier <aballier@g.o> -coq-8.1_p3.ebuild, |
| 58 |
+ -coq-8.1_p3-r1.ebuild, metadata.xml: |
| 59 |
+ remove old |
| 60 |
|
| 61 |
*coq-8.2 (18 Feb 2009) |
Archives