diff options
| author |   Alexis Ballier <aballier@gentoo.org> | 2010-04-09 10:34:41 +0000 |
|---|---|---|
| committer | Alexis Ballier <aballier@gentoo.org> | 2010-04-09 10:34:41 +0000 |
| commit | 3a6d73f1dbaaa8773b81f026a0763f24917f960a (patch) | |
| tree | 35713c55d4e09f10e26851b129405cd3ead64b0f /sci-mathematics/coq | |
| parent | stable x86, bug 308521 (diff) | |
| download | historical-3a6d73f1dbaaa8773b81f026a0763f24917f960a.tar.gz historical-3a6d73f1dbaaa8773b81f026a0763f24917f960a.tar.bz2 historical-3a6d73f1dbaaa8773b81f026a0763f24917f960a.zip | |
Add missing netpbm dep for USE=doc, by Christian D. <ThyrusG@gmx.de>, bug #310305
Package-Manager: portage-2.2_rc67/cvs/Linux x86_64
Diffstat (limited to 'sci-mathematics/coq')
| -rw-r--r-- | sci-mathematics/coq/ChangeLog | 6 | ||||
| -rw-r--r-- | sci-mathematics/coq/Manifest | 10 | ||||
| -rw-r--r-- | sci-mathematics/coq/coq-8.2_p1-r1.ebuild | 3 |
3 files changed, 12 insertions, 7 deletions
diff --git a/sci-mathematics/coq/ChangeLog b/sci-mathematics/coq/ChangeLog index 70826ac444cb..990a1eee75dc 100644 --- a/sci-mathematics/coq/ChangeLog +++ b/sci-mathematics/coq/ChangeLog @@ -1,6 +1,10 @@ # ChangeLog for sci-mathematics/coq # Copyright 1999-2010 Gentoo Foundation; Distributed under the GPL v2 -# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/coq/ChangeLog,v 1.51 2010/03/10 11:50:53 aballier Exp $ +# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/coq/ChangeLog,v 1.52 2010/04/09 10:34:41 aballier Exp $ + + 09 Apr 2010; Alexis Ballier <aballier@gentoo.org> coq-8.2_p1-r1.ebuild: + Add missing netpbm dep for USE=doc, by Christian D. <ThyrusG@gmx.de>, bug + #310305 10 Mar 2010; Alexis Ballier <aballier@gentoo.org> -coq-8.1_p4.ebuild, -files/coq-8.1_p3-cmxa-install.dpatch, -files/coq-8.1_p3-noocamlopt.patch: diff --git a/sci-mathematics/coq/Manifest b/sci-mathematics/coq/Manifest index 426fc72043d2..8c38fe963372 100644 --- a/sci-mathematics/coq/Manifest +++ b/sci-mathematics/coq/Manifest @@ -3,13 +3,13 @@ Hash: SHA1 AUX coqide.desktop 233 RMD160 3f9d112d7f55454f72c42b427005b37971c6e928 SHA1 40571b86c25793e7d4e9bef80f637d7440b03704 SHA256 dba2e81a408ae51e187c2a164794f9505c4abfa0b92f47a44d0e9f96e2b6dfac DIST coq-8.2pl1.tar.gz 3600620 RMD160 dd5758a94bb3de49967cec76baa33eb5169659ce SHA1 4aed3302adc2edbaa5d97984512c1c13014bd649 SHA256 7c15acfd369111e51d937cce632d22fc77a6718a5ac9f2dd2dcbdfab4256ae0c -EBUILD coq-8.2_p1-r1.ebuild 1998 RMD160 2afd7ba08ba5de80590151bb72cf3bcaa7daaff2 SHA1 5e85cb4b05e82e461df0c71e635cc96845763d93 SHA256 83572f9111771ee8959ae69769ede902e30964b8d1fda8d0e97d34493ebd1332 -MISC ChangeLog 8408 RMD160 6fb7c3dd9bf1ebfeba6d840928a38ff09db98679 SHA1 b928ad69efc3bad51872d8b40b56f276dbedf4ab SHA256 a29b2c718620ae5c0a30064ae9e52c4e4e0d5acfb10419a5f593d8d44a5e08f9 +EBUILD coq-8.2_p1-r1.ebuild 2023 RMD160 6040854d288bf7b9887c36dfffa961a13efccaeb SHA1 d1463fe96e2b5202edb0770af67a77288686db01 SHA256 d81f9be041f55de003b83574c52abc2bea9a119c99cd022b732756170758b26f +MISC ChangeLog 8569 RMD160 0898be65b48ab0fdb76084cfe1e5deb12c75a326 SHA1 c27f62e4471593547ed502a3dfb884ad559c5380 SHA256 07cef9606c47096f1f0b86b44d5cf369c4f6311d45fc2cf7315337fedc5b4658 MISC metadata.xml 282 RMD160 dfd17179bb9bb01273006a8c00cc941f1a313523 SHA1 bfc493a2aa04b1ee10be87c6e09c3d97e3ecd8e9 SHA256 9885bd063535c49f50e664cde9bba05ce04f880126d126c51768a8ec52780d7c -----BEGIN PGP SIGNATURE----- Version: GnuPG v2.0.14 (GNU/Linux) -iEYEARECAAYFAkuXh6IACgkQvFcC4BYPU0ocgACggAnqQSR1Wi+pISEMhcCnC4eO -ij0AoLIQTIJlFUGrd4pl9oHBGuRrcRBW -=GMbd +iEYEARECAAYFAku/AscACgkQvFcC4BYPU0o2ZwCgl84Ntv1qOCdu06JrIaBo02hW +sEwAoIUPa2WnlcxM3+klwivp6fb9WKF1 +=DeM3 -----END PGP SIGNATURE----- diff --git a/sci-mathematics/coq/coq-8.2_p1-r1.ebuild b/sci-mathematics/coq/coq-8.2_p1-r1.ebuild index 09d69cf79b06..1c61bbf905a3 100644 --- a/sci-mathematics/coq/coq-8.2_p1-r1.ebuild +++ b/sci-mathematics/coq/coq-8.2_p1-r1.ebuild @@ -1,6 +1,6 @@ # Copyright 1999-2010 Gentoo Foundation # Distributed under the terms of the GNU General Public License v2 -# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/coq/coq-8.2_p1-r1.ebuild,v 1.6 2010/01/20 19:49:15 bicatali Exp $ +# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/coq/coq-8.2_p1-r1.ebuild,v 1.7 2010/04/09 10:34:41 aballier Exp $ EAPI="2" @@ -23,6 +23,7 @@ RDEPEND=">=dev-lang/ocaml-3.10[ocamlopt?] gtk? ( >=dev-ml/lablgtk-2.10.1[ocamlopt?] )" DEPEND="${RDEPEND} doc? ( + media-libs/netpbm[png] virtual/latex-base dev-tex/hevea dev-tex/xcolor |