[gentoo-commits] gentoo-x86 commit in sci-mathematics/coq: metadata.xml ChangeLog coq-8.1_p3.ebuild coq-8.1_p3-r1.ebuild

[gentoo-commits] gentoo-x86 commit in sci-mathematics/coq: metadata.xml ChangeLog coq-8.1_p3.ebuild coq-8.1_p3-r1.ebuild

[Alexis Ballier (aballier)]

aballier    09/05/18 06:38:23

  Modified:             metadata.xml ChangeLog
  Removed:              coq-8.1_p3.ebuild coq-8.1_p3-r1.ebuild
  Log:
  remove old
  (Portage version: 2.2_rc33/cvs/Linux x86_64)

Revision  Changes    Path
1.6                  sci-mathematics/coq/metadata.xml

file : http://sources.gentoo.org/viewcvs.py/gentoo-x86/sci-mathematics/coq/metadata.xml?rev=1.6&view=markup
plain: http://sources.gentoo.org/viewcvs.py/gentoo-x86/sci-mathematics/coq/metadata.xml?rev=1.6&content-type=text/plain
diff : http://sources.gentoo.org/viewcvs.py/gentoo-x86/sci-mathematics/coq/metadata.xml?r1=1.5&r2=1.6

Index: metadata.xml
===================================================================
RCS file: /var/cvsroot/gentoo-x86/sci-mathematics/coq/metadata.xml,v
retrieving revision 1.5
retrieving revision 1.6
diff -u -r1.5 -r1.6
--- metadata.xml	6 Aug 2008 20:21:14 -0000	1.5
+++ metadata.xml	18 May 2009 06:38:23 -0000	1.6
@@ -4,8 +4,6 @@
 <herd>sci</herd>
 <herd>ml</herd>
 <use>
-  <flag name='ide'>Build the Coq IDE, a clone of proof general using
-    <pkg>dev-ml/lablgtk</pkg></flag>
   <flag name='norealanalysis'>Do not build real analysis modules
     (faster compilation)</flag>
 </use>



1.41                 sci-mathematics/coq/ChangeLog

file : http://sources.gentoo.org/viewcvs.py/gentoo-x86/sci-mathematics/coq/ChangeLog?rev=1.41&view=markup
plain: http://sources.gentoo.org/viewcvs.py/gentoo-x86/sci-mathematics/coq/ChangeLog?rev=1.41&content-type=text/plain
diff : http://sources.gentoo.org/viewcvs.py/gentoo-x86/sci-mathematics/coq/ChangeLog?r1=1.40&r2=1.41

Index: ChangeLog
===================================================================
RCS file: /var/cvsroot/gentoo-x86/sci-mathematics/coq/ChangeLog,v
retrieving revision 1.40
retrieving revision 1.41
diff -u -r1.40 -r1.41
--- ChangeLog	18 Feb 2009 18:07:53 -0000	1.40
+++ ChangeLog	18 May 2009 06:38:23 -0000	1.41
@@ -1,6 +1,10 @@
 # ChangeLog for sci-mathematics/coq
-# Copyright 2000-2009 Gentoo Foundation; Distributed under the GPL v2
-# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/coq/ChangeLog,v 1.40 2009/02/18 18:07:53 aballier Exp $
+# Copyright 1999-2009 Gentoo Foundation; Distributed under the GPL v2
+# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/coq/ChangeLog,v 1.41 2009/05/18 06:38:23 aballier Exp $
+
+  18 May 2009; Alexis Ballier <aballier@gentoo.org> -coq-8.1_p3.ebuild,
+  -coq-8.1_p3-r1.ebuild, metadata.xml:
+  remove old
 
 *coq-8.2 (18 Feb 2009)