From 736388a4f6aa01a7cdce4ff1a17224243c91acd0 Mon Sep 17 00:00:00 2001 From: Gustavo Zacarias Date: Fri, 15 Sep 2006 19:01:35 +0000 Subject: Stable on sparc Package-Manager: portage-2.1.1 --- sci-mathematics/coq/ChangeLog | 5 ++++- sci-mathematics/coq/Manifest | 26 ++++++++++++++++++-------- sci-mathematics/coq/coq-8.0_p3.ebuild | 4 ++-- 3 files changed, 24 insertions(+), 11 deletions(-) (limited to 'sci-mathematics/coq') diff --git a/sci-mathematics/coq/ChangeLog b/sci-mathematics/coq/ChangeLog index d10c4c3d428d..ed5eb4bcae35 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.9 2006/09/14 13:31:54 mattam Exp $ +# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/coq/ChangeLog,v 1.10 2006/09/15 19:01:35 gustavoz Exp $ + + 15 Sep 2006; Gustavo Zacarias coq-8.0_p3.ebuild: + Stable on sparc 14 Sep 2006; Matthieu Sozeau coq-8.0_p3.ebuild: Mark stable on amd64, x86 and ppc to account for lablgtk-2.6 stabilization diff --git a/sci-mathematics/coq/Manifest b/sci-mathematics/coq/Manifest index 2cdbeb587738..3e5756d2f5eb 100644 --- a/sci-mathematics/coq/Manifest +++ b/sci-mathematics/coq/Manifest @@ -1,3 +1,6 @@ +-----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 @@ -23,14 +26,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 2052 RMD160 cb7b0d74bab1aa29db34f1275c088ae61fee0c14 SHA1 3c1cade4f2740155b5e2e661841fb9b9dfa945a3 SHA256 41193c3f9e53b9cf485d310b5fec394c20128b4f97dfdd3241c77005cbce1fc7 -MD5 fce26c99ccf2bd1524e7bfe9b595403a coq-8.0_p3.ebuild 2052 -RMD160 cb7b0d74bab1aa29db34f1275c088ae61fee0c14 coq-8.0_p3.ebuild 2052 -SHA256 41193c3f9e53b9cf485d310b5fec394c20128b4f97dfdd3241c77005cbce1fc7 coq-8.0_p3.ebuild 2052 -MISC ChangeLog 2903 RMD160 a9e583806e4eec82e6d07def8025d5f3770a271e SHA1 b8867172fd9b9c43f07769fa526d71ce8ea18415 SHA256 d8416024186ff8fba1f9bb79a7a154723197ce09779e8e6509caa6e01f9b8f9c -MD5 7becf3d8fcb9f2ea3febace4474022a6 ChangeLog 2903 -RMD160 a9e583806e4eec82e6d07def8025d5f3770a271e ChangeLog 2903 -SHA256 d8416024186ff8fba1f9bb79a7a154723197ce09779e8e6509caa6e01f9b8f9c ChangeLog 2903 +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 MISC metadata.xml 245 RMD160 1ced74b1aec8b3f12cfd97119ca6b3bd7de954a2 SHA1 c4b88bc0384a23bb4d4a6ab24185515911452b1b SHA256 34da41cb737e4ef4b13d5e934c9800a1e9ea05016fdfd4b8285eb16c51f9e140 MD5 051b19b1bff1e9764732760637bf1594 metadata.xml 245 RMD160 1ced74b1aec8b3f12cfd97119ca6b3bd7de954a2 metadata.xml 245 @@ -41,3 +44,10 @@ 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 49604f818275..c601f65fde46 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.3 2006/09/14 13:31:54 mattam Exp $ +# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/coq/coq-8.0_p3.ebuild,v 1.4 2006/09/15 19:01:35 gustavoz 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="x86 ~ppc sparc amd64" DEPEND=">=dev-lang/ocaml-3.08 ide? ( >=dev-ml/lablgtk-2.2.0 )" -- cgit v1.2.3-65-gdbad