summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorTorsten Veller <tove@gentoo.org>2009-09-18 16:29:58 +0000
committerTorsten Veller <tove@gentoo.org>2009-09-18 16:29:58 +0000
commit2cd5aa91f0827a3588050438aa2345c87d4f731a (patch)
tree52613fbf74c0416f584d64e0b21bcefdb0796010 /sci-mathematics/coq
parentFix typo: s/REPEND/RDEPEND/ (diff)
downloadhistorical-2cd5aa91f0827a3588050438aa2345c87d4f731a.tar.gz
historical-2cd5aa91f0827a3588050438aa2345c87d4f731a.tar.bz2
historical-2cd5aa91f0827a3588050438aa2345c87d4f731a.zip
Fix typo: s/RDPEND/RDEPEND/
Package-Manager: portage-2.2_rc40/cvs/Linux x86_64
Diffstat (limited to 'sci-mathematics/coq')
-rw-r--r--sci-mathematics/coq/ChangeLog6
-rw-r--r--sci-mathematics/coq/Manifest12
-rw-r--r--sci-mathematics/coq/coq-8.2.ebuild4
-rw-r--r--sci-mathematics/coq/coq-8.2_p1.ebuild4
4 files changed, 15 insertions, 11 deletions
diff --git a/sci-mathematics/coq/ChangeLog b/sci-mathematics/coq/ChangeLog
index 1184513dcdca..4e084b7399a5 100644
--- a/sci-mathematics/coq/ChangeLog
+++ b/sci-mathematics/coq/ChangeLog
@@ -1,6 +1,10 @@
# ChangeLog for sci-mathematics/coq
# Copyright 1999-2009 Gentoo Foundation; Distributed under the GPL v2
-# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/coq/ChangeLog,v 1.42 2009/08/27 13:11:43 aballier Exp $
+# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/coq/ChangeLog,v 1.43 2009/09/18 16:29:58 tove Exp $
+
+ 18 Sep 2009; Torsten Veller <tove@gentoo.org> coq-8.2.ebuild,
+ coq-8.2_p1.ebuild:
+ Fix typo: s/RDPEND/RDEPEND/
*coq-8.2_p1 (27 Aug 2009)
diff --git a/sci-mathematics/coq/Manifest b/sci-mathematics/coq/Manifest
index 3419c2a88a2d..33f6d09e9542 100644
--- a/sci-mathematics/coq/Manifest
+++ b/sci-mathematics/coq/Manifest
@@ -8,14 +8,14 @@ DIST coq-8.1pl4.tar.gz 3009030 RMD160 87dff2cb205951e31e04e5b4596cfd846d309bb2 S
DIST coq-8.2.tar.gz 3597544 RMD160 fb8506fa0c469a428a43649a13819bc18949570e SHA1 cac79093f1639c309b400aced13c749f278abbea SHA256 85a828696b960c7e3c55e6680daf5a04dc9edb8849d61abef8e0531378e2d728
DIST coq-8.2pl1.tar.gz 3600620 RMD160 dd5758a94bb3de49967cec76baa33eb5169659ce SHA1 4aed3302adc2edbaa5d97984512c1c13014bd649 SHA256 7c15acfd369111e51d937cce632d22fc77a6718a5ac9f2dd2dcbdfab4256ae0c
EBUILD coq-8.1_p4.ebuild 1767 RMD160 3ad1949545093969a7b53896e184cdcd9bf1eff3 SHA1 1716919015434acdf8936bfd0c8891f4c72cdbb7 SHA256 253d8611b132bfb47a1b0fee4cd072e9cb0041a8dce12e4b378b9be049ca7056
-EBUILD coq-8.2.ebuild 1834 RMD160 c2dfe536bb25d7d26db942395324726161f50f43 SHA1 fad970919ed49520ba7c5381dadf113bc90e377f SHA256 9ab95009cfcf003db3831ad02b0152d08b3c1ddd480e82d80eb0e0e17475101e
-EBUILD coq-8.2_p1.ebuild 1844 RMD160 6739ad553f921369da14ff597278bae4d8d93a54 SHA1 0b2367d5ee4f6297e0eed64b1bccc47ea3f9eeb5 SHA256 86142bc1f08b74386e53280383bbe49e92e175bac27f134fda4e387175e744ec
-MISC ChangeLog 7299 RMD160 8751b67797046530016c3007af34878a0c515479 SHA1 2041fe5c64c23d516d005e3b11dfc3fcdedbb750 SHA256 f17aa9b305ce6a04d5c29e617a2737a69c6511f2daae93ea89b6a04cde996edc
+EBUILD coq-8.2.ebuild 1830 RMD160 5c9593c50e603d0b6bbcb68a66eab71e6fece406 SHA1 b28290bf37e073f35784224ba0fc8ca87e47891d SHA256 459728d79a6be34a6dac419f64fc25b1084e88af36ef3761885bff725bb48a63
+EBUILD coq-8.2_p1.ebuild 1841 RMD160 8db2032789c975393d0b9efea146b6a9615d4c07 SHA1 168e83f40acf462a54387920aaf07018aba006dc SHA256 084e87d91bcda90b419b1a67f0761d1d08a4935e98b7443da216cc3c1eb3379c
+MISC ChangeLog 7411 RMD160 afbf7984409c93c6b660b5ac988efe96c364c71a SHA1 0dbe97e71255529e552b74c412d9b1ad6a30e204 SHA256 9d1b0b39dfbbd1431a3d7dfcf6cf1bd9aa11f7bfd0378f29353f9d8657a0068c
MISC metadata.xml 282 RMD160 dfd17179bb9bb01273006a8c00cc941f1a313523 SHA1 bfc493a2aa04b1ee10be87c6e09c3d97e3ecd8e9 SHA256 9885bd063535c49f50e664cde9bba05ce04f880126d126c51768a8ec52780d7c
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v2.0.11 (GNU/Linux)
-iEYEARECAAYFAkqWhhQACgkQvFcC4BYPU0poQwCgmE3Jwm4kGAeexAiHE8NFPX8K
-+GsAnjYteW3S//4t6nzDy4HYsY+d535M
-=s3nx
+iEYEARECAAYFAkqztYwACgkQV3J2n04EauxRvwCdGWutKBGYscWpKm2xdeekjngf
+I1QAniI6+8N2blqiLRX0Qm2Sa3isM6F4
+=A5Jg
-----END PGP SIGNATURE-----
diff --git a/sci-mathematics/coq/coq-8.2.ebuild b/sci-mathematics/coq/coq-8.2.ebuild
index 02b3c8499a82..d76d4eea117f 100644
--- a/sci-mathematics/coq/coq-8.2.ebuild
+++ b/sci-mathematics/coq/coq-8.2.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.2.ebuild,v 1.2 2009/02/19 18:41:12 mr_bones_ Exp $
+# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/coq/coq-8.2.ebuild,v 1.3 2009/09/18 16:29:58 tove Exp $
EAPI="2"
@@ -21,7 +21,7 @@ IUSE="norealanalysis gtk debug +ocamlopt doc"
RDEPEND=">=dev-lang/ocaml-3.10[ocamlopt?]
>=dev-ml/camlp5-5.09[ocamlopt?]
gtk? ( >=dev-ml/lablgtk-2.10.1[ocamlopt?] )"
-DEPEND="${RDPEND}
+DEPEND="${RDEPEND}
doc? ( dev-tex/hevea virtual/latex-base )"
S="${WORKDIR}/${P/_/}"
diff --git a/sci-mathematics/coq/coq-8.2_p1.ebuild b/sci-mathematics/coq/coq-8.2_p1.ebuild
index 92ef4f5aea29..614cd4cd9edd 100644
--- a/sci-mathematics/coq/coq-8.2_p1.ebuild
+++ b/sci-mathematics/coq/coq-8.2_p1.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.2_p1.ebuild,v 1.1 2009/08/27 13:11:43 aballier Exp $
+# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/coq/coq-8.2_p1.ebuild,v 1.2 2009/09/18 16:29:58 tove Exp $
EAPI="2"
@@ -21,7 +21,7 @@ IUSE="norealanalysis gtk debug +ocamlopt doc"
RDEPEND=">=dev-lang/ocaml-3.10[ocamlopt?]
>=dev-ml/camlp5-5.09[ocamlopt?]
gtk? ( >=dev-ml/lablgtk-2.10.1[ocamlopt?] )"
-DEPEND="${RDPEND}
+DEPEND="${RDEPEND}
doc? ( dev-tex/hevea virtual/latex-base )"
S="${WORKDIR}/${MY_P}"