diff options
| author |   Gysbert Wassenaar <nixnut@gentoo.org> | 2009-01-17 16:45:45 +0000 |
|---|---|---|
| committer | Gysbert Wassenaar <nixnut@gentoo.org> | 2009-01-17 16:45:45 +0000 |
| commit | 4ec273d89eda0693187d7e7407cc4b045938bb7f (patch) | |
| tree | f09385182df2cf763117b565bc048612d077d432 /sci-mathematics/coq | |
| parent | ppc stable #253978 (diff) | |
| download | historical-4ec273d89eda0693187d7e7407cc4b045938bb7f.tar.gz historical-4ec273d89eda0693187d7e7407cc4b045938bb7f.tar.bz2 historical-4ec273d89eda0693187d7e7407cc4b045938bb7f.zip | |
ppc stable #254073
Package-Manager: portage-2.1.6.4/cvs/Linux 2.6.27-hardened-r3 ppc
Diffstat (limited to 'sci-mathematics/coq')
| -rw-r--r-- | sci-mathematics/coq/ChangeLog | 5 | ||||
| -rw-r--r-- | sci-mathematics/coq/Manifest | 14 | ||||
| -rw-r--r-- | sci-mathematics/coq/coq-8.1_p4.ebuild | 4 |
3 files changed, 8 insertions, 15 deletions
diff --git a/sci-mathematics/coq/ChangeLog b/sci-mathematics/coq/ChangeLog index aa8501afce67..0d94e248a54f 100644 --- a/sci-mathematics/coq/ChangeLog +++ b/sci-mathematics/coq/ChangeLog @@ -1,6 +1,9 @@ # ChangeLog for sci-mathematics/coq # Copyright 2000-2009 Gentoo Foundation; Distributed under the GPL v2 -# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/coq/ChangeLog,v 1.38 2009/01/12 21:40:11 maekke Exp $ +# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/coq/ChangeLog,v 1.39 2009/01/17 16:45:45 nixnut Exp $ + + 17 Jan 2009; nixnut <nixnut@gentoo.org> coq-8.1_p4.ebuild: + ppc stable #254073 12 Jan 2009; Markus Meier <maekke@gentoo.org> coq-8.1_p4.ebuild: x86 stable, bug #254073 diff --git a/sci-mathematics/coq/Manifest b/sci-mathematics/coq/Manifest index 8227d56a9bbe..a33fdf338ff3 100644 --- a/sci-mathematics/coq/Manifest +++ b/sci-mathematics/coq/Manifest @@ -1,6 +1,3 @@ ------BEGIN PGP SIGNED MESSAGE----- -Hash: SHA1 - AUX coq-8.1_p3-cmxa-install.dpatch 782 RMD160 b3977ef5ba2acad230973cb0bfd350f644068105 SHA1 399d3e235744ddb2f40088f5d55e84e5aa2f260d SHA256 799cedbe003c9ff4becf46896f0a0971d160a8075c4979f8ba40577229b3223c AUX coq-8.1_p3-noocamlopt.patch 640 RMD160 dce43c53544a7c4d3437841a89b53e4349627ceb SHA1 a149f74e58999a594b7119c9daab3931ab468920 SHA256 c831fa7ecd2eac30964b61e8f3fddc8f34020833eabeca665984776ccbceb8e6 AUX coqide.desktop 233 RMD160 3f9d112d7f55454f72c42b427005b37971c6e928 SHA1 40571b86c25793e7d4e9bef80f637d7440b03704 SHA256 dba2e81a408ae51e187c2a164794f9505c4abfa0b92f47a44d0e9f96e2b6dfac @@ -8,13 +5,6 @@ DIST coq-8.1pl3.tar.gz 3003593 RMD160 f8f4749e1014cb47a83915550713cf9ce1992e34 S DIST coq-8.1pl4.tar.gz 3009030 RMD160 87dff2cb205951e31e04e5b4596cfd846d309bb2 SHA1 d65f81e465709b52599356d253dd172cc3d395be SHA256 8b78c6b7382426246dab813d9dcdead7d1dc10d26846483fc27d727077588d9d EBUILD coq-8.1_p3-r1.ebuild 1960 RMD160 f9872d7c480891a96491da3fff60d141be5d6f14 SHA1 d8d21794336585c586dba694c345ec42310aa69f SHA256 749ee3a10cd7e4cf86abcbd4d7d69a8dc90b4d8b687141f05298dad50aa73d7e EBUILD coq-8.1_p3.ebuild 2494 RMD160 ea77aa4df5023b2c81b142859f63d307f49a1329 SHA1 58927b93385fcecc9a7021087a477eb0cade8d57 SHA256 b86fc7707fcd2afe90beb698ba3af2e16146cf92af3416c7da3d6ad8835e558c -EBUILD coq-8.1_p4.ebuild 1768 RMD160 449d09800a03a0e8a3c5433303ddc3e47bf233db SHA1 82983dc62a342a3c1663f77b3b236d7844489547 SHA256 f7b8082644b8c7d35b697d938fa28dd9de4dec635e42b6c406e81021bbea53c9 -MISC ChangeLog 6852 RMD160 c67c1afc461deeb7cd4acf67888e662f89761765 SHA1 7e7af315646d0c072d3bd9d966991ed62e185ab1 SHA256 d4cc3035e35bf544d28014d54af9576023bb9608bfbb281810d0c10d584e1c3a +EBUILD coq-8.1_p4.ebuild 1767 RMD160 3ad1949545093969a7b53896e184cdcd9bf1eff3 SHA1 1716919015434acdf8936bfd0c8891f4c72cdbb7 SHA256 253d8611b132bfb47a1b0fee4cd072e9cb0041a8dce12e4b378b9be049ca7056 +MISC ChangeLog 6935 RMD160 3acbe9c9fb8ce16063763c084fff3e3927e23acc SHA1 b8ce8ed860dd9794c11f8cdf594aafa7bb6a178f SHA256 c150812e8dc0781c6f2992c0470264572ac68fd090ccf7b79586b63b97400ef6 MISC metadata.xml 388 RMD160 ab4766c430a05a02a5b6b2776da289640aec3ad4 SHA1 8194acf3d1e76190ce0ed7579894988d6bdfafd5 SHA256 c4c3a9775a3b5fdb1135006150128687ed692901aea3a0e8be5ba7042fa9802c ------BEGIN PGP SIGNATURE----- -Version: GnuPG v2.0.9 (GNU/Linux) - -iEYEARECAAYFAklruMwACgkQkKaRLQcq0GJv2ACgoGnQtkQBg9gCoNhiOB1EPMZj -AKoAoItGxYuKeNsdpF1f20sk2h+5e9dH -=+XhP ------END PGP SIGNATURE----- diff --git a/sci-mathematics/coq/coq-8.1_p4.ebuild b/sci-mathematics/coq/coq-8.1_p4.ebuild index 9860aeea3941..feba183ab2e0 100644 --- a/sci-mathematics/coq/coq-8.1_p4.ebuild +++ b/sci-mathematics/coq/coq-8.1_p4.ebuild @@ -1,6 +1,6 @@ # Copyright 1999-2009 Gentoo Foundation # Distributed under the terms of the GNU General Public License v2 -# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/coq/coq-8.1_p4.ebuild,v 1.4 2009/01/12 21:40:11 maekke Exp $ +# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/coq/coq-8.1_p4.ebuild,v 1.5 2009/01/17 16:45:45 nixnut Exp $ EAPI="2" @@ -17,7 +17,7 @@ SRC_URI="http://coq.inria.fr/V${MY_PV}/files/${MY_P}.tar.gz" LICENSE="LGPL-2.1" SLOT="0" -KEYWORDS="amd64 ~ppc sparc x86" +KEYWORDS="amd64 ppc sparc x86" IUSE="norealanalysis gtk debug +ocamlopt" DEPEND=">=dev-lang/ocaml-3.10[ocamlopt?] |