diff options
| author |   Michael Sterrett <mr_bones_@gentoo.org> | 2008-01-03 19:44:17 +0000 |
|---|---|---|
| committer | Michael Sterrett <mr_bones_@gentoo.org> | 2008-01-03 19:44:17 +0000 |
| commit | 9feb2a860ab90837303e459541deccf67ce6493f (patch) | |
| tree | cd1de1f99bbbbb6f9164fa400c2276d5e9323f60 /sci-mathematics/coq | |
| parent | Stable on amd64; bug 196865 (diff) | |
| download | historical-9feb2a860ab90837303e459541deccf67ce6493f.tar.gz historical-9feb2a860ab90837303e459541deccf67ce6493f.tar.bz2 historical-9feb2a860ab90837303e459541deccf67ce6493f.zip | |
whitespace
Package-Manager: portage-2.1.3.19
Diffstat (limited to 'sci-mathematics/coq')
| -rw-r--r-- | sci-mathematics/coq/Manifest | 18 | ||||
| -rw-r--r-- | sci-mathematics/coq/coq-8.1_p3.ebuild | 3 |
2 files changed, 5 insertions, 16 deletions
diff --git a/sci-mathematics/coq/Manifest b/sci-mathematics/coq/Manifest index 9dfe347c3655..149b3cd5ce42 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 MD5 8af37f492e015307524c531134391d74 files/coq-8.1_p3-cmxa-install.dpatch 782 RMD160 b3977ef5ba2acad230973cb0bfd350f644068105 files/coq-8.1_p3-cmxa-install.dpatch 782 @@ -31,10 +28,10 @@ EBUILD coq-8.1_p2.ebuild 1725 RMD160 148b357bf5ea699e22469a375ce6d3149ac75218 SH MD5 0931e7f0be585a64a2a3defb96b7ab66 coq-8.1_p2.ebuild 1725 RMD160 148b357bf5ea699e22469a375ce6d3149ac75218 coq-8.1_p2.ebuild 1725 SHA256 328b25de69f8a2741b83bb3225c8c22ead842e307634c2f248432317d8b0d2ad coq-8.1_p2.ebuild 1725 -EBUILD coq-8.1_p3.ebuild 2534 RMD160 61cf5893ba0b004f3e171609a06f7b446eafcf1f SHA1 c8e80117ccfef9aa6495aee4cfa648ded23d2ebd SHA256 b257293c5f408b7fbd1336a86d17be86c0c577eea40baba3ccb580177663bba6 -MD5 5b973ba1d4b34f082b1358225a28a7aa coq-8.1_p3.ebuild 2534 -RMD160 61cf5893ba0b004f3e171609a06f7b446eafcf1f coq-8.1_p3.ebuild 2534 -SHA256 b257293c5f408b7fbd1336a86d17be86c0c577eea40baba3ccb580177663bba6 coq-8.1_p3.ebuild 2534 +EBUILD coq-8.1_p3.ebuild 2534 RMD160 d5fb3965ead97b99752ccde7d5ec842abda982e5 SHA1 b03e834b13ab79a4b85cfa9260afddbcfd555673 SHA256 d786923151e7daa2049375cb8eb870aacf2bd01381e228ee13878cc9191c65bd +MD5 5d93d0d16f1d2a2b86fc31667e23d89b coq-8.1_p3.ebuild 2534 +RMD160 d5fb3965ead97b99752ccde7d5ec842abda982e5 coq-8.1_p3.ebuild 2534 +SHA256 d786923151e7daa2049375cb8eb870aacf2bd01381e228ee13878cc9191c65bd coq-8.1_p3.ebuild 2534 MISC ChangeLog 5140 RMD160 29e77f17a7a411d3683f0ac85503d81e49a010ee SHA1 1dcfde3a7c5c6aea3239ff39da677af3dfa7329e SHA256 c8308733581fcaef63c02503a79ef9d5d3168e7c035d6b9796ac031dbf73bcb1 MD5 4b28601189d768931bf44d5a99d2cd0f ChangeLog 5140 RMD160 29e77f17a7a411d3683f0ac85503d81e49a010ee ChangeLog 5140 @@ -55,10 +52,3 @@ SHA256 6e90b572e62f580834a9721149404b02faf2cac779670386219b778dfd7492e3 files/di MD5 ee73692d684c6e166f565e21e48cbb84 files/digest-coq-8.1_p3 235 RMD160 f3768c38ca8e57dcf832134a54d7e778858781dc files/digest-coq-8.1_p3 235 SHA256 73bd61ecaed8280418c5ffe57c15b20f1cb66ccfb78630fb9c87c30e2a4a8fe6 files/digest-coq-8.1_p3 235 ------BEGIN PGP SIGNATURE----- -Version: GnuPG v2.0.8 (GNU/Linux) - -iEYEARECAAYFAkd9HnAACgkQvFcC4BYPU0oMmgCfROy66YJLklD2LJuOYEQwfKWj -tvsAoJIzczLeqoi+UfEwA/ElPJl+kzEk -=obFY ------END PGP SIGNATURE----- diff --git a/sci-mathematics/coq/coq-8.1_p3.ebuild b/sci-mathematics/coq/coq-8.1_p3.ebuild index 3c0425b31247..638ac4dcd961 100644 --- a/sci-mathematics/coq/coq-8.1_p3.ebuild +++ b/sci-mathematics/coq/coq-8.1_p3.ebuild @@ -1,6 +1,6 @@ # Copyright 1999-2008 Gentoo Foundation # Distributed under the terms of the GNU General Public License v2 -# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/coq/coq-8.1_p3.ebuild,v 1.3 2008/01/03 17:41:59 aballier Exp $ +# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/coq/coq-8.1_p3.ebuild,v 1.4 2008/01/03 19:44:17 mr_bones_ Exp $ inherit eutils multilib @@ -36,7 +36,6 @@ coq_need_ocamlopt() { fi } - pkg_setup() { coq_need_ocamlopt 'dev-lang/ocaml' use ide && coq_need_ocamlopt 'dev-ml/lablgtk' |