From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from pigeon.gentoo.org ([208.92.234.80] helo=lists.gentoo.org) by finch.gentoo.org with esmtp (Exim 4.60) (envelope-from ) id 1M5wUT-0008Gb-Tz for garchives@archives.gentoo.org; Mon, 18 May 2009 06:38:26 +0000 Received: from pigeon.gentoo.org (localhost [127.0.0.1]) by pigeon.gentoo.org (Postfix) with SMTP id E3214E03AD; Mon, 18 May 2009 06:38:24 +0000 (UTC) Received: from smtp.gentoo.org (smtp.gentoo.org [140.211.166.183]) by pigeon.gentoo.org (Postfix) with ESMTP id C5F91E03AD for ; Mon, 18 May 2009 06:38:24 +0000 (UTC) Received: from stork.gentoo.org (stork.gentoo.org [64.127.104.133]) (using TLSv1 with cipher AES256-SHA (256/256 bits)) (No client certificate requested) by smtp.gentoo.org (Postfix) with ESMTP id 679B965163 for ; Mon, 18 May 2009 06:38:24 +0000 (UTC) Received: from aballier by stork.gentoo.org with local (Exim 4.69) (envelope-from ) id 1M5wUR-0004Y4-WF for gentoo-commits@lists.gentoo.org; Mon, 18 May 2009 06:38:24 +0000 From: "Alexis Ballier (aballier)" To: gentoo-commits@lists.gentoo.org Reply-To: gentoo-dev@lists.gentoo.org, aballier@gentoo.org Subject: [gentoo-commits] gentoo-x86 commit in sci-mathematics/coq: metadata.xml ChangeLog coq-8.1_p3.ebuild coq-8.1_p3-r1.ebuild X-VCS-Repository: gentoo-x86 X-VCS-Files: metadata.xml ChangeLog coq-8.1_p3.ebuild coq-8.1_p3-r1.ebuild X-VCS-Directories: sci-mathematics/coq X-VCS-Committer: aballier X-VCS-Committer-Name: Alexis Ballier Content-Type: text/plain; charset=utf8 Message-Id: Sender: Alexis Ballier Date: Mon, 18 May 2009 06:38:23 +0000 Precedence: bulk List-Post: List-Help: List-Unsubscribe: List-Subscribe: List-Id: Gentoo Linux mail X-BeenThere: gentoo-commits@lists.gentoo.org Content-Transfer-Encoding: quoted-printable X-Archives-Salt: 53008438-3b2e-4ab4-8262-751753372f21 X-Archives-Hash: a7114b700f99a529f113155237ad3b79 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/co= q/metadata.xml?rev=3D1.6&view=3Dmarkup plain: http://sources.gentoo.org/viewcvs.py/gentoo-x86/sci-mathematics/co= q/metadata.xml?rev=3D1.6&content-type=3Dtext/plain diff : http://sources.gentoo.org/viewcvs.py/gentoo-x86/sci-mathematics/co= q/metadata.xml?r1=3D1.5&r2=3D1.6 Index: metadata.xml =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D 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 @@ sci ml - Build the Coq IDE, a clone of proof general using - dev-ml/lablgtk Do not build real analysis modules (faster compilation) 1.41 sci-mathematics/coq/ChangeLog file : http://sources.gentoo.org/viewcvs.py/gentoo-x86/sci-mathematics/co= q/ChangeLog?rev=3D1.41&view=3Dmarkup plain: http://sources.gentoo.org/viewcvs.py/gentoo-x86/sci-mathematics/co= q/ChangeLog?rev=3D1.41&content-type=3Dtext/plain diff : http://sources.gentoo.org/viewcvs.py/gentoo-x86/sci-mathematics/co= q/ChangeLog?r1=3D1.40&r2=3D1.41 Index: ChangeLog =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D 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 -coq-8.1_p3.ebuild, + -coq-8.1_p3-r1.ebuild, metadata.xml: + remove old =20 *coq-8.2 (18 Feb 2009) =20