diff options
| author |   Markus Meier <maekke@gentoo.org> | 2009-01-12 21:40:11 +0000 |
|---|---|---|
| committer | Markus Meier <maekke@gentoo.org> | 2009-01-12 21:40:11 +0000 |
| commit | 0a429f2b391bcc421ebb928a158f84ad401b6278 (patch) | |
| tree | 0b37135ad8587e9ebdc325ba8b99e1318ce33279 /sci-mathematics | |
| parent | Add use_enable for lame, bug 254545 (diff) | |
| download | historical-0a429f2b391bcc421ebb928a158f84ad401b6278.tar.gz historical-0a429f2b391bcc421ebb928a158f84ad401b6278.tar.bz2 historical-0a429f2b391bcc421ebb928a158f84ad401b6278.zip | |
x86 stable, bug #254073
Package-Manager: portage-2.1.6.4/cvs/Linux 2.6.28 x86_64
Diffstat (limited to 'sci-mathematics')
| -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, 18 insertions, 5 deletions
diff --git a/sci-mathematics/coq/ChangeLog b/sci-mathematics/coq/ChangeLog index 9404479bf756..aa8501afce67 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.37 2009/01/12 13:16:35 fmccor Exp $ +# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/coq/ChangeLog,v 1.38 2009/01/12 21:40:11 maekke Exp $ + + 12 Jan 2009; Markus Meier <maekke@gentoo.org> coq-8.1_p4.ebuild: + x86 stable, bug #254073 12 Jan 2009; Ferris McCormick <fmccor@gentoo.org> coq-8.1_p4.ebuild: Sparc stable, Bug #254073. diff --git a/sci-mathematics/coq/Manifest b/sci-mathematics/coq/Manifest index d0426208cd4a..8227d56a9bbe 100644 --- a/sci-mathematics/coq/Manifest +++ b/sci-mathematics/coq/Manifest @@ -1,3 +1,6 @@ +-----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 @@ -5,6 +8,13 @@ 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 1769 RMD160 7dd435684e6aa0500a16f230aa719dda6116d706 SHA1 fbe2fbdd6ce71c40f86452e974ddb2d3c4210e6c SHA256 d76318a2ef6cb675800966cbc2b58b4b4515b9aab5bdafc995ac8555c0ca7e09 -MISC ChangeLog 6758 RMD160 ab7f708f5b641ec1049e6d67ff4cd0d38072ffc0 SHA1 f728270ab60beac6b7d8fe9edefd5203f60c5f8a SHA256 048aa3e6b08adc05840aee883f8c1260f66bb4784a7066216dcceb7d6991c4b7 +EBUILD coq-8.1_p4.ebuild 1768 RMD160 449d09800a03a0e8a3c5433303ddc3e47bf233db SHA1 82983dc62a342a3c1663f77b3b236d7844489547 SHA256 f7b8082644b8c7d35b697d938fa28dd9de4dec635e42b6c406e81021bbea53c9 +MISC ChangeLog 6852 RMD160 c67c1afc461deeb7cd4acf67888e662f89761765 SHA1 7e7af315646d0c072d3bd9d966991ed62e185ab1 SHA256 d4cc3035e35bf544d28014d54af9576023bb9608bfbb281810d0c10d584e1c3a 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 4bca7126b004..9860aeea3941 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.3 2009/01/12 13:16:35 fmccor Exp $ +# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/coq/coq-8.1_p4.ebuild,v 1.4 2009/01/12 21:40:11 maekke 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?] |