From: "Brent Baude (ranger)" <ranger@gentoo.org>
To: gentoo-commits@lists.gentoo.org
Subject: [gentoo-commits] gentoo-x86 commit in sci-mathematics/coq: coq-8.1_p3.ebuild ChangeLog
Date: Thu, 03 Apr 2008 01:24:06 +0000 [thread overview]
Message-ID: <E1JhEBS-0004xg-U8@stork.gentoo.org> (raw)
ranger 08/04/03 01:24:06
Modified: coq-8.1_p3.ebuild ChangeLog
Log:
stable ppc, bug 215746
(Portage version: 2.1.4.4)
Revision Changes Path
1.7 sci-mathematics/coq/coq-8.1_p3.ebuild
file : http://sources.gentoo.org/viewcvs.py/gentoo-x86/sci-mathematics/coq/coq-8.1_p3.ebuild?rev=1.7&view=markup
plain: http://sources.gentoo.org/viewcvs.py/gentoo-x86/sci-mathematics/coq/coq-8.1_p3.ebuild?rev=1.7&content-type=text/plain
diff : http://sources.gentoo.org/viewcvs.py/gentoo-x86/sci-mathematics/coq/coq-8.1_p3.ebuild?r1=1.6&r2=1.7
Index: coq-8.1_p3.ebuild
===================================================================
RCS file: /var/cvsroot/gentoo-x86/sci-mathematics/coq/coq-8.1_p3.ebuild,v
retrieving revision 1.6
retrieving revision 1.7
diff -u -r1.6 -r1.7
--- coq-8.1_p3.ebuild 16 Jan 2008 13:35:34 -0000 1.6
+++ coq-8.1_p3.ebuild 3 Apr 2008 01:24:06 -0000 1.7
@@ -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.6 2008/01/16 13:35:34 aballier Exp $
+# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/coq/coq-8.1_p3.ebuild,v 1.7 2008/04/03 01:24:06 ranger Exp $
inherit eutils multilib
@@ -19,7 +19,7 @@
LICENSE="LGPL-2.1"
SLOT="0"
-KEYWORDS="~amd64 ~ppc ~sparc ~x86"
+KEYWORDS="~amd64 ppc ~sparc ~x86"
DEPEND="|| ( ( >=dev-lang/ocaml-3.10 >=dev-ml/camlp5-5.01 ) <dev-lang/ocaml-3.10 )
>=dev-lang/ocaml-3.08
1.29 sci-mathematics/coq/ChangeLog
file : http://sources.gentoo.org/viewcvs.py/gentoo-x86/sci-mathematics/coq/ChangeLog?rev=1.29&view=markup
plain: http://sources.gentoo.org/viewcvs.py/gentoo-x86/sci-mathematics/coq/ChangeLog?rev=1.29&content-type=text/plain
diff : http://sources.gentoo.org/viewcvs.py/gentoo-x86/sci-mathematics/coq/ChangeLog?r1=1.28&r2=1.29
Index: ChangeLog
===================================================================
RCS file: /var/cvsroot/gentoo-x86/sci-mathematics/coq/ChangeLog,v
retrieving revision 1.28
retrieving revision 1.29
diff -u -r1.28 -r1.29
--- ChangeLog 1 Apr 2008 18:37:45 -0000 1.28
+++ ChangeLog 3 Apr 2008 01:24:06 -0000 1.29
@@ -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.28 2008/04/01 18:37:45 aballier Exp $
+# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/coq/ChangeLog,v 1.29 2008/04/03 01:24:06 ranger Exp $
+
+ 03 Apr 2008; Brent Baude <ranger@gentoo.org> coq-8.1_p3.ebuild:
+ stable ppc, bug 215746
01 Apr 2008; Alexis Ballier <aballier@gentoo.org> -coq-8.1_p1.ebuild,
-coq-8.1_p2.ebuild:
--
gentoo-commits@lists.gentoo.org mailing list
next reply other threads:[~2008-04-03 1:24 UTC|newest]
Thread overview: 6+ messages / expand[flat|nested] mbox.gz Atom feed top
2008-04-03 1:24 Brent Baude (ranger) [this message]
-- strict thread matches above, loose matches on Subject: below --
2008-04-08 15:06 [gentoo-commits] gentoo-x86 commit in sci-mathematics/coq: coq-8.1_p3.ebuild ChangeLog Raul Porcel (armin76)
2008-04-06 19:26 Markus Meier (maekke)
2008-01-16 13:35 Alexis Ballier (aballier)
2008-01-16 12:31 Alexis Ballier (aballier)
2008-01-03 17:41 Alexis Ballier (aballier)
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=E1JhEBS-0004xg-U8@stork.gentoo.org \
--to=ranger@gentoo.org \
--cc=gentoo-commits@lists.gentoo.org \
--cc=gentoo-dev@lists.gentoo.org \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox