diff options
| author |   Michael Hanselmann <hansmi@gentoo.org> | 2006-09-24 09:16:43 +0000 |
|---|---|---|
| committer | Michael Hanselmann <hansmi@gentoo.org> | 2006-09-24 09:16:43 +0000 |
| commit | 708205ca2fc906c662bcf9d6f7dcdc42ee849aa5 (patch) | |
| tree | 4d487b0619e25ab78c414da05b1ca840f4938133 /sci-mathematics | |
| parent | sci-astronomy/celestia stable on ppc. (diff) | |
| download | historical-708205ca2fc906c662bcf9d6f7dcdc42ee849aa5.tar.gz historical-708205ca2fc906c662bcf9d6f7dcdc42ee849aa5.tar.bz2 historical-708205ca2fc906c662bcf9d6f7dcdc42ee849aa5.zip | |
sci-mathematics/coq stable on ppc.
Package-Manager: portage-2.1.2_pre1-r1
Diffstat (limited to 'sci-mathematics')
| -rw-r--r-- | sci-mathematics/coq/ChangeLog | 5 | ||||
| -rw-r--r-- | sci-mathematics/coq/Manifest | 26 | ||||
| -rw-r--r-- | sci-mathematics/coq/coq-8.0_p3.ebuild | 4 |
3 files changed, 14 insertions, 21 deletions
diff --git a/sci-mathematics/coq/ChangeLog b/sci-mathematics/coq/ChangeLog index ed5eb4bcae35..e0d87296373d 100644 --- a/sci-mathematics/coq/ChangeLog +++ b/sci-mathematics/coq/ChangeLog @@ -1,6 +1,9 @@ # ChangeLog for sci-mathematics/coq # Copyright 2000-2006 Gentoo Foundation; Distributed under the GPL v2 -# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/coq/ChangeLog,v 1.10 2006/09/15 19:01:35 gustavoz Exp $ +# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/coq/ChangeLog,v 1.11 2006/09/24 09:16:43 hansmi Exp $ + + 24 Sep 2006; Michael Hanselmann <hansmi@gentoo.org> coq-8.0_p3.ebuild: + Stable on ppc. 15 Sep 2006; Gustavo Zacarias <gustavoz@gentoo.org> coq-8.0_p3.ebuild: Stable on sparc diff --git a/sci-mathematics/coq/Manifest b/sci-mathematics/coq/Manifest index 3e5756d2f5eb..389d1e6cb437 100644 --- a/sci-mathematics/coq/Manifest +++ b/sci-mathematics/coq/Manifest @@ -1,6 +1,3 @@ ------BEGIN PGP SIGNED MESSAGE----- -Hash: SHA1 - AUX coq-8.0-byteflags.patch 676 RMD160 c426bf5a23e83b354574b78f084d521fedc1c325 SHA1 7f2d8d87a2743ed0bfc1cb45ebaf8acf1ddcc11d SHA256 4bdd7fcddd5a1f845be8df40f9a5b7d7fee1cf88bb744866804ab1da4253a2d5 MD5 5d46723c29afcd1e24e529e5993c3096 files/coq-8.0-byteflags.patch 676 RMD160 c426bf5a23e83b354574b78f084d521fedc1c325 files/coq-8.0-byteflags.patch 676 @@ -26,14 +23,14 @@ EBUILD coq-8.0-r1.ebuild 2067 RMD160 644b4b4584739516781beed6ae2cf45d1d1840d1 SH MD5 4a4ffa884422004f87fb79781054f44b coq-8.0-r1.ebuild 2067 RMD160 644b4b4584739516781beed6ae2cf45d1d1840d1 coq-8.0-r1.ebuild 2067 SHA256 fed6aac37fc0537174cc37f16e4afa53d19868ae5a4ed1ddc30628d05febcc20 coq-8.0-r1.ebuild 2067 -EBUILD coq-8.0_p3.ebuild 2053 RMD160 62c0e60f0bfb398102419a0b8ba4e58cf02c1680 SHA1 252aa18197fa50853594c82d577b364a5ebcf157 SHA256 33d8042f307ce8fd1436be66245c3cb71bed51564aa8a3cd0ba97aafae282597 -MD5 253d103e005e0e6c78757821d59857b5 coq-8.0_p3.ebuild 2053 -RMD160 62c0e60f0bfb398102419a0b8ba4e58cf02c1680 coq-8.0_p3.ebuild 2053 -SHA256 33d8042f307ce8fd1436be66245c3cb71bed51564aa8a3cd0ba97aafae282597 coq-8.0_p3.ebuild 2053 -MISC ChangeLog 2998 RMD160 380a342ac7c4199c90f50992508f49798d61e90c SHA1 2fe0cb124fe729c30f46b9e416cb82b103c959a2 SHA256 364e79bf4f7ba6e153d5d12f1898c2d1c6a5a4a28d663a0941be25fa8b4dbb9f -MD5 0c651381d712216e4a0d2a746bf2c99c ChangeLog 2998 -RMD160 380a342ac7c4199c90f50992508f49798d61e90c ChangeLog 2998 -SHA256 364e79bf4f7ba6e153d5d12f1898c2d1c6a5a4a28d663a0941be25fa8b4dbb9f ChangeLog 2998 +EBUILD coq-8.0_p3.ebuild 2050 RMD160 e122aa9d58692667b9ee7a6a2a8edb3490ab044f SHA1 ed223f6629ee4366e5b7e0a9615c8ad030496139 SHA256 472b2acadf94214a39e8bf27ce81aff06c80ec825fad82cee5d7da30a61ec24a +MD5 b0895b8ac7e7a80cc4eb3b4ffa0cbfb7 coq-8.0_p3.ebuild 2050 +RMD160 e122aa9d58692667b9ee7a6a2a8edb3490ab044f coq-8.0_p3.ebuild 2050 +SHA256 472b2acadf94214a39e8bf27ce81aff06c80ec825fad82cee5d7da30a61ec24a coq-8.0_p3.ebuild 2050 +MISC ChangeLog 3087 RMD160 09af847784b5106a0474cbd924b6efd6b004a94b SHA1 7c6b04fa2b14192ce24b94bc4c26b995e8b9906b SHA256 08843b1c6188a2bbd736f23a9ffc6c39131e020ebada16d892148bb11d08ab5e +MD5 1c9d50d0d4512dfaabb7d6a8bf93321c ChangeLog 3087 +RMD160 09af847784b5106a0474cbd924b6efd6b004a94b ChangeLog 3087 +SHA256 08843b1c6188a2bbd736f23a9ffc6c39131e020ebada16d892148bb11d08ab5e ChangeLog 3087 MISC metadata.xml 245 RMD160 1ced74b1aec8b3f12cfd97119ca6b3bd7de954a2 SHA1 c4b88bc0384a23bb4d4a6ab24185515911452b1b SHA256 34da41cb737e4ef4b13d5e934c9800a1e9ea05016fdfd4b8285eb16c51f9e140 MD5 051b19b1bff1e9764732760637bf1594 metadata.xml 245 RMD160 1ced74b1aec8b3f12cfd97119ca6b3bd7de954a2 metadata.xml 245 @@ -44,10 +41,3 @@ SHA256 a3b19476c72b3a27e40f09715030ceb8a0ec7ab781257b8542e9cba0f8c7cb3a files/di MD5 07d28c72f4d0913e374c8acba9a363b8 files/digest-coq-8.0_p3 765 RMD160 0eb02a90f6cb1bd9b1174cf2fc2e724a4f50cee9 files/digest-coq-8.0_p3 765 SHA256 d1900263704dc613417b872026abf1bde19771a25ebd7c0a09e7c82ee1201ec6 files/digest-coq-8.0_p3 765 ------BEGIN PGP SIGNATURE----- -Version: GnuPG v1.4.5-ecc0.1.6 (GNU/Linux) - -iD8DBQFFCvidKRy60XGEcJIRAgBKAJ9TtmW0h9GUosmgaTyJ1kKqrkmpDQCfWa8T -gh+Jl1abvdRlyBKjcpwfJkw= -=ld7w ------END PGP SIGNATURE----- diff --git a/sci-mathematics/coq/coq-8.0_p3.ebuild b/sci-mathematics/coq/coq-8.0_p3.ebuild index c601f65fde46..9545e05f2d0f 100644 --- a/sci-mathematics/coq/coq-8.0_p3.ebuild +++ b/sci-mathematics/coq/coq-8.0_p3.ebuild @@ -1,6 +1,6 @@ # Copyright 1999-2006 Gentoo Foundation # Distributed under the terms of the GNU General Public License v2 -# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/coq/coq-8.0_p3.ebuild,v 1.4 2006/09/15 19:01:35 gustavoz Exp $ +# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/coq/coq-8.0_p3.ebuild,v 1.5 2006/09/24 09:16:43 hansmi Exp $ inherit eutils @@ -19,7 +19,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 amd64" +KEYWORDS="amd64 ppc sparc x86" DEPEND=">=dev-lang/ocaml-3.08 ide? ( >=dev-ml/lablgtk-2.2.0 )" |