diff options
author | Torsten Veller <tove@gentoo.org> | 2009-09-18 16:29:58 +0000 |
---|---|---|
committer | Torsten Veller <tove@gentoo.org> | 2009-09-18 16:29:58 +0000 |
commit | 2cd5aa91f0827a3588050438aa2345c87d4f731a (patch) | |
tree | 52613fbf74c0416f584d64e0b21bcefdb0796010 /sci-mathematics/coq | |
parent | Fix typo: s/REPEND/RDEPEND/ (diff) | |
download | historical-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/ChangeLog | 6 | ||||
-rw-r--r-- | sci-mathematics/coq/Manifest | 12 | ||||
-rw-r--r-- | sci-mathematics/coq/coq-8.2.ebuild | 4 | ||||
-rw-r--r-- | sci-mathematics/coq/coq-8.2_p1.ebuild | 4 |
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}" |