summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorJan Brinkmann <luckyduck@gentoo.org>2005-04-13 18:38:55 +0000
committerJan Brinkmann <luckyduck@gentoo.org>2005-04-13 18:38:55 +0000
commit26c9af72b2b290dbcd2629e8e510162702591115 (patch)
treed119a2b222a02a9d4182ab970483441a7983672b
parentvarious things, please changelog (diff)
downloadhistorical-26c9af72b2b290dbcd2629e8e510162702591115.tar.gz
historical-26c9af72b2b290dbcd2629e8e510162702591115.tar.bz2
historical-26c9af72b2b290dbcd2629e8e510162702591115.zip
added ~amd64 to KEYWORDS, fixes #88950
Package-Manager: portage-2.0.51.19
-rw-r--r--sci-mathematics/coq/ChangeLog7
-rw-r--r--sci-mathematics/coq/Manifest16
-rw-r--r--sci-mathematics/coq/coq-7.4.ebuild4
-rw-r--r--sci-mathematics/coq/coq-8.0-r1.ebuild6
-rw-r--r--sci-mathematics/coq/coq-8.0.ebuild4
5 files changed, 20 insertions, 17 deletions
diff --git a/sci-mathematics/coq/ChangeLog b/sci-mathematics/coq/ChangeLog
index 996bf871a984..ae5f99d6889c 100644
--- a/sci-mathematics/coq/ChangeLog
+++ b/sci-mathematics/coq/ChangeLog
@@ -1,6 +1,9 @@
# ChangeLog for sci-mathematics/coq
-# Copyright 2000-2004 Gentoo Foundation; Distributed under the GPL v2
-# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/coq/ChangeLog,v 1.2 2004/12/28 20:04:43 swegener Exp $
+# Copyright 2000-2005 Gentoo Foundation; Distributed under the GPL v2
+# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/coq/ChangeLog,v 1.3 2005/04/13 18:38:55 luckyduck Exp $
+
+ 13 Apr 2005; Jan Brinkmann <luckyduck@gentoo.org> coq-8.0-r1.ebuild:
+ added ~amd64 to KEYWORDS, fixes #88950
*coq-8.0-r1 (28 Dec 2004)
diff --git a/sci-mathematics/coq/Manifest b/sci-mathematics/coq/Manifest
index 74bef011e603..b99382b255e2 100644
--- a/sci-mathematics/coq/Manifest
+++ b/sci-mathematics/coq/Manifest
@@ -1,11 +1,11 @@
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
-MD5 732e50fb532696a036c14599eee92e1f coq-8.0.ebuild 1920
-MD5 66faaf42e8842346c9920ee1c6e3166a coq-7.4.ebuild 985
-MD5 d5c1be67f3f081c7a916c1715c50904f ChangeLog 1876
+MD5 cb898371df21f1a9d28fa6e073a5505f coq-8.0.ebuild 1921
+MD5 ec14c64c02c2760bfd7750bb764b41df coq-7.4.ebuild 986
+MD5 26d5c8abe245a9fb5540eea4558e91bf ChangeLog 1990
MD5 5af6b26df9264817e5b6a292c1436417 metadata.xml 238
-MD5 20337935fed30f221a041dae36cd5cb9 coq-8.0-r1.ebuild 2066
+MD5 83bfd344102e7fbd781532543b9a782f coq-8.0-r1.ebuild 2074
MD5 02ac210c6af5d8e258a2805a22822a8b files/coq-8.0-ocaml-3.08.1.patch 1321
MD5 dc0f737371101bc7c97b0a80165ddac6 files/digest-coq-8.0-r1 136
MD5 d3f33f3602d82ea691f91b062dbf236b files/digest-coq-7.4 60
@@ -14,9 +14,9 @@ MD5 393c3085f82f205122b4e66c94232ff7 files/ocaml-3.07.patch 333
MD5 5d46723c29afcd1e24e529e5993c3096 files/coq-8.0-byteflags.patch 676
MD5 e5491c930f8f944ed9c3590fdc8492c1 files/coqide.desktop 242
-----BEGIN PGP SIGNATURE-----
-Version: GnuPG v1.9.10 (GNU/Linux)
+Version: GnuPG v1.4.0 (GNU/Linux)
-iD8DBQFB0bxhI1lqEGTUzyQRAqwuAKCWZRQSfObUTQUfcFSc7ZOiIPHKDgCglSnG
-lfaavJbvi0kQxQXl/LB653g=
-=bzgV
+iD8DBQFCXWdV06ebR+OMO78RAirZAJ97+fqd3K/MqyD8YQSs2fLeyY1xZwCfX1WV
+N1PToVe395/xJCpJinFj9lQ=
+=+SOF
-----END PGP SIGNATURE-----
diff --git a/sci-mathematics/coq/coq-7.4.ebuild b/sci-mathematics/coq/coq-7.4.ebuild
index 1c168e0cbd55..b7b288f326c1 100644
--- a/sci-mathematics/coq/coq-7.4.ebuild
+++ b/sci-mathematics/coq/coq-7.4.ebuild
@@ -1,6 +1,6 @@
-# Copyright 1999-2004 Gentoo Foundation
+# Copyright 1999-2005 Gentoo Foundation
# Distributed under the terms of the GNU General Public License v2
-# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/coq/coq-7.4.ebuild,v 1.1 2004/12/28 05:03:02 ribosome Exp $
+# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/coq/coq-7.4.ebuild,v 1.2 2005/04/13 18:38:55 luckyduck Exp $
inherit eutils
diff --git a/sci-mathematics/coq/coq-8.0-r1.ebuild b/sci-mathematics/coq/coq-8.0-r1.ebuild
index 27f98d532cb5..3770c3b2eb24 100644
--- a/sci-mathematics/coq/coq-8.0-r1.ebuild
+++ b/sci-mathematics/coq/coq-8.0-r1.ebuild
@@ -1,6 +1,6 @@
-# Copyright 1999-2004 Gentoo Foundation
+# Copyright 1999-2005 Gentoo Foundation
# Distributed under the terms of the GNU General Public License v2
-# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/coq/coq-8.0-r1.ebuild,v 1.1 2004/12/28 05:03:02 ribosome Exp $
+# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/coq/coq-8.0-r1.ebuild,v 1.2 2005/04/13 18:38:55 luckyduck Exp $
inherit eutils
@@ -18,7 +18,7 @@ translator? ( ftp://ftp.inria.fr/INRIA/coq/V${MY_PV}/${MY_P}-translator.tar.gz )
LICENSE="LGPL-2.1"
SLOT="0"
-KEYWORDS="~x86 ~ppc ~sparc"
+KEYWORDS="~x86 ~ppc ~sparc ~amd64"
DEPEND=">=dev-lang/ocaml-3.06
ide? ( >=dev-ml/lablgtk-2.2.0 )"
diff --git a/sci-mathematics/coq/coq-8.0.ebuild b/sci-mathematics/coq/coq-8.0.ebuild
index 24fbf597ff94..c07007872962 100644
--- a/sci-mathematics/coq/coq-8.0.ebuild
+++ b/sci-mathematics/coq/coq-8.0.ebuild
@@ -1,6 +1,6 @@
-# Copyright 1999-2004 Gentoo Foundation
+# Copyright 1999-2005 Gentoo Foundation
# Distributed under the terms of the GNU General Public License v2
-# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/coq/coq-8.0.ebuild,v 1.1 2004/12/28 05:03:02 ribosome Exp $
+# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/coq/coq-8.0.ebuild,v 1.2 2005/04/13 18:38:55 luckyduck Exp $
inherit eutils