From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from pigeon.gentoo.org ([69.77.167.62] helo=lists.gentoo.org) by finch.gentoo.org with esmtp (Exim 4.60) (envelope-from ) id 1JjFPE-0005qB-0J for garchives@archives.gentoo.org; Tue, 08 Apr 2008 15:06:40 +0000 Received: from pigeon.gentoo.org (localhost [127.0.0.1]) by pigeon.gentoo.org (Postfix) with SMTP id 52BE0E0889; Tue, 8 Apr 2008 15:06:38 +0000 (UTC) Received: from smtp.gentoo.org (smtp.gentoo.org [140.211.166.183]) by pigeon.gentoo.org (Postfix) with ESMTP id 26983E0889 for ; Tue, 8 Apr 2008 15:06:38 +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 9411D6665C for ; Tue, 8 Apr 2008 15:06:37 +0000 (UTC) Received: from armin76 by stork.gentoo.org with local (Exim 4.68) (envelope-from ) id 1JjFPA-0004N5-EV for gentoo-commits@lists.gentoo.org; Tue, 08 Apr 2008 15:06:36 +0000 From: "Raul Porcel (armin76)" To: gentoo-commits@lists.gentoo.org Reply-To: gentoo-dev@lists.gentoo.org, armin76@gentoo.org Subject: [gentoo-commits] gentoo-x86 commit in sci-mathematics/coq: coq-8.1_p3.ebuild ChangeLog X-VCS-Repository: gentoo-x86 X-VCS-Files: coq-8.1_p3.ebuild ChangeLog X-VCS-Directories: sci-mathematics/coq X-VCS-Committer: armin76 X-VCS-Committer-Name: Raul Porcel Content-Type: text/plain; charset=utf8 Message-Id: Sender: Raul Porcel Date: Tue, 08 Apr 2008 15:06:36 +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: 34336941-45b5-4f06-b983-2de13f8c723c X-Archives-Hash: 62bdf5c0d43e3c381ef212f50661ce94 armin76 08/04/08 15:06:36 Modified: coq-8.1_p3.ebuild ChangeLog Log: sparc stable wrt #215746 (Portage version: 2.1.4.4) Revision Changes Path 1.9 sci-mathematics/coq/coq-8.1_p3.ebuild file : http://sources.gentoo.org/viewcvs.py/gentoo-x86/sci-mathematics/co= q/coq-8.1_p3.ebuild?rev=3D1.9&view=3Dmarkup plain: http://sources.gentoo.org/viewcvs.py/gentoo-x86/sci-mathematics/co= q/coq-8.1_p3.ebuild?rev=3D1.9&content-type=3Dtext/plain diff : http://sources.gentoo.org/viewcvs.py/gentoo-x86/sci-mathematics/co= q/coq-8.1_p3.ebuild?r1=3D1.8&r2=3D1.9 Index: coq-8.1_p3.ebuild =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/coq-8.1_p3.ebuild,v retrieving revision 1.8 retrieving revision 1.9 diff -u -r1.8 -r1.9 --- coq-8.1_p3.ebuild 6 Apr 2008 19:26:46 -0000 1.8 +++ coq-8.1_p3.ebuild 8 Apr 2008 15:06:35 -0000 1.9 @@ -1,6 +1,6 @@ # Copyright 1999-2008 Gentoo Foundation # Distributed under the terms of the GNU General Public License v2 -# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/coq/coq-8.1_p3.ebuild= ,v 1.8 2008/04/06 19:26:46 maekke Exp $ +# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/coq/coq-8.1_p3.ebuild= ,v 1.9 2008/04/08 15:06:35 armin76 Exp $ =20 inherit eutils multilib =20 @@ -19,7 +19,7 @@ =20 LICENSE=3D"LGPL-2.1" SLOT=3D"0" -KEYWORDS=3D"amd64 ppc ~sparc x86" +KEYWORDS=3D"amd64 ppc sparc x86" =20 DEPEND=3D"|| ( ( >=3Ddev-lang/ocaml-3.10 >=3Ddev-ml/camlp5-5.01 ) =3Ddev-lang/ocaml-3.08 1.31 sci-mathematics/coq/ChangeLog file : http://sources.gentoo.org/viewcvs.py/gentoo-x86/sci-mathematics/co= q/ChangeLog?rev=3D1.31&view=3Dmarkup plain: http://sources.gentoo.org/viewcvs.py/gentoo-x86/sci-mathematics/co= q/ChangeLog?rev=3D1.31&content-type=3Dtext/plain diff : http://sources.gentoo.org/viewcvs.py/gentoo-x86/sci-mathematics/co= q/ChangeLog?r1=3D1.30&r2=3D1.31 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.30 retrieving revision 1.31 diff -u -r1.30 -r1.31 --- ChangeLog 6 Apr 2008 19:26:46 -0000 1.30 +++ ChangeLog 8 Apr 2008 15:06:35 -0000 1.31 @@ -1,6 +1,9 @@ # ChangeLog for sci-mathematics/coq # Copyright 2000-2008 Gentoo Foundation; Distributed under the GPL v2 -# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/coq/ChangeLog,v 1.30 = 2008/04/06 19:26:46 maekke Exp $ +# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/coq/ChangeLog,v 1.31 = 2008/04/08 15:06:35 armin76 Exp $ + + 08 Apr 2008; Ra=C3=BAl Porcel coq-8.1_p3.ebuild: + sparc stable wrt #215746 =20 06 Apr 2008; Markus Meier coq-8.1_p3.ebuild: amd64/x86 stable, bug #215746 --=20 gentoo-commits@lists.gentoo.org mailing list