diff options
Diffstat (limited to 'sci-mathematics')
| -rw-r--r-- | sci-mathematics/coq/ChangeLog | 7 | ||||
| -rw-r--r-- | sci-mathematics/coq/Manifest | 18 | ||||
| -rw-r--r-- | sci-mathematics/coq/coq-7.4.ebuild | 4 | ||||
| -rw-r--r-- | sci-mathematics/coq/coq-8.0-r1.ebuild | 6 | ||||
| -rw-r--r-- | sci-mathematics/coq/coq-8.0.ebuild | 4 |
5 files changed, 16 insertions, 23 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..be6d87c0b588 100644 --- a/sci-mathematics/coq/Manifest +++ b/sci-mathematics/coq/Manifest @@ -1,11 +1,8 @@ ------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 f2504a89d94ddfe625269bbb79497bd7 coq-8.0.ebuild 1920 +MD5 cd875ecf22c5c7b23d24f893b0f167bf coq-7.4.ebuild 985 +MD5 525e0a449e0f30b2c83921ce2d3dcf10 ChangeLog 1989 MD5 5af6b26df9264817e5b6a292c1436417 metadata.xml 238 -MD5 20337935fed30f221a041dae36cd5cb9 coq-8.0-r1.ebuild 2066 +MD5 08eb68a47e1f4015a48e979cef980911 coq-8.0-r1.ebuild 2073 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 @@ -13,10 +10,3 @@ MD5 86922705a72292e7508baae5bc75e2a3 files/digest-coq-8.0 130 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) - -iD8DBQFB0bxhI1lqEGTUzyQRAqwuAKCWZRQSfObUTQUfcFSc7ZOiIPHKDgCglSnG -lfaavJbvi0kQxQXl/LB653g= -=bzgV ------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 |