diff options
Diffstat (limited to 'metadata/md5-cache/sci-mathematics')
-rw-r--r-- | metadata/md5-cache/sci-mathematics/Manifest.gz | bin | 22096 -> 22093 bytes | |||
-rw-r--r-- | metadata/md5-cache/sci-mathematics/dunshire-0.1.1 | 2 | ||||
-rw-r--r-- | metadata/md5-cache/sci-mathematics/pymc3-3.1 | 2 | ||||
-rw-r--r-- | metadata/md5-cache/sci-mathematics/why3-for-spark-2019-r1 | 4 |
4 files changed, 4 insertions, 4 deletions
diff --git a/metadata/md5-cache/sci-mathematics/Manifest.gz b/metadata/md5-cache/sci-mathematics/Manifest.gz Binary files differindex 28d721d6232b..4f281e6a9063 100644 --- a/metadata/md5-cache/sci-mathematics/Manifest.gz +++ b/metadata/md5-cache/sci-mathematics/Manifest.gz diff --git a/metadata/md5-cache/sci-mathematics/dunshire-0.1.1 b/metadata/md5-cache/sci-mathematics/dunshire-0.1.1 index fb97517e861e..64d7e39cb0f8 100644 --- a/metadata/md5-cache/sci-mathematics/dunshire-0.1.1 +++ b/metadata/md5-cache/sci-mathematics/dunshire-0.1.1 @@ -11,5 +11,5 @@ REQUIRED_USE=|| ( python_targets_python3_6 ) RESTRICT=!test? ( test ) SLOT=0 SRC_URI=mirror://pypi/d/dunshire/dunshire-0.1.1.tar.gz -_eclasses_=desktop b1d22ac8bdd4679ab79c71aca235009d distutils-r1 c5307d9afe217fa087ae282a6df257bb epatch a1bf4756dba418a7238f3be0cb010c54 estack 686eaab303305a908fd57b2fd7617800 eutils fcb2aa98e1948b835b5ae66ca52868c5 ltprune 2729691420b6deeda2a90b1f1183fb55 multibuild 40fe59465edacd730c644ec2bc197809 multilib 1d91b03d42ab6308b5f4f6b598ed110e multiprocessing cac3169468f893670dac3e7cb940e045 preserve-libs ef207dc62baddfddfd39a164d9797648 python-r1 4eed5e0c72d4544a2291ae46515f5d79 python-utils-r1 611c493a4cfef5254350fabc04b606f5 toolchain-funcs 512eb3367f507ebaa1d1d43ab7d66e6c vcs-clean 2a0f74a496fa2b1552c4f3398258b7bf xdg-utils ff2ff954e6b17929574eee4efc5152ba +_eclasses_=desktop b1d22ac8bdd4679ab79c71aca235009d distutils-r1 c576838cd67e384002a18edd54be710e epatch a1bf4756dba418a7238f3be0cb010c54 estack 686eaab303305a908fd57b2fd7617800 eutils fcb2aa98e1948b835b5ae66ca52868c5 ltprune 2729691420b6deeda2a90b1f1183fb55 multibuild 40fe59465edacd730c644ec2bc197809 multilib 1d91b03d42ab6308b5f4f6b598ed110e multiprocessing cac3169468f893670dac3e7cb940e045 preserve-libs ef207dc62baddfddfd39a164d9797648 python-r1 4eed5e0c72d4544a2291ae46515f5d79 python-utils-r1 611c493a4cfef5254350fabc04b606f5 toolchain-funcs 512eb3367f507ebaa1d1d43ab7d66e6c vcs-clean 2a0f74a496fa2b1552c4f3398258b7bf xdg-utils ff2ff954e6b17929574eee4efc5152ba _md5_=109e1efa994259e05d48f02462022774 diff --git a/metadata/md5-cache/sci-mathematics/pymc3-3.1 b/metadata/md5-cache/sci-mathematics/pymc3-3.1 index 6d8fb9e0d220..17c8da31aa96 100644 --- a/metadata/md5-cache/sci-mathematics/pymc3-3.1 +++ b/metadata/md5-cache/sci-mathematics/pymc3-3.1 @@ -11,5 +11,5 @@ REQUIRED_USE=|| ( python_targets_python3_6 ) RESTRICT=!test? ( test ) SLOT=0 SRC_URI=mirror://pypi/p/pymc3/pymc3-3.1.tar.gz -_eclasses_=desktop b1d22ac8bdd4679ab79c71aca235009d distutils-r1 c5307d9afe217fa087ae282a6df257bb epatch a1bf4756dba418a7238f3be0cb010c54 estack 686eaab303305a908fd57b2fd7617800 eutils fcb2aa98e1948b835b5ae66ca52868c5 ltprune 2729691420b6deeda2a90b1f1183fb55 multibuild 40fe59465edacd730c644ec2bc197809 multilib 1d91b03d42ab6308b5f4f6b598ed110e multiprocessing cac3169468f893670dac3e7cb940e045 preserve-libs ef207dc62baddfddfd39a164d9797648 python-r1 4eed5e0c72d4544a2291ae46515f5d79 python-utils-r1 611c493a4cfef5254350fabc04b606f5 toolchain-funcs 512eb3367f507ebaa1d1d43ab7d66e6c vcs-clean 2a0f74a496fa2b1552c4f3398258b7bf virtualx e49dbce7ac14426e1155497476915307 xdg-utils ff2ff954e6b17929574eee4efc5152ba +_eclasses_=desktop b1d22ac8bdd4679ab79c71aca235009d distutils-r1 c576838cd67e384002a18edd54be710e epatch a1bf4756dba418a7238f3be0cb010c54 estack 686eaab303305a908fd57b2fd7617800 eutils fcb2aa98e1948b835b5ae66ca52868c5 ltprune 2729691420b6deeda2a90b1f1183fb55 multibuild 40fe59465edacd730c644ec2bc197809 multilib 1d91b03d42ab6308b5f4f6b598ed110e multiprocessing cac3169468f893670dac3e7cb940e045 preserve-libs ef207dc62baddfddfd39a164d9797648 python-r1 4eed5e0c72d4544a2291ae46515f5d79 python-utils-r1 611c493a4cfef5254350fabc04b606f5 toolchain-funcs 512eb3367f507ebaa1d1d43ab7d66e6c vcs-clean 2a0f74a496fa2b1552c4f3398258b7bf virtualx e49dbce7ac14426e1155497476915307 xdg-utils ff2ff954e6b17929574eee4efc5152ba _md5_=fec2c848d207b5ee176f8943641b10df diff --git a/metadata/md5-cache/sci-mathematics/why3-for-spark-2019-r1 b/metadata/md5-cache/sci-mathematics/why3-for-spark-2019-r1 index 679bfd6a6021..334d2db298ce 100644 --- a/metadata/md5-cache/sci-mathematics/why3-for-spark-2019-r1 +++ b/metadata/md5-cache/sci-mathematics/why3-for-spark-2019-r1 @@ -3,7 +3,7 @@ DEPEND=>=dev-lang/ocaml-4.09.0[ocamlopt?] >=dev-ml/ocamlbuild-0.14.0 dev-ml/menh DESCRIPTION=Platform for deductive program verification EAPI=6 HOMEPAGE=http://why3.lri.fr/ -IUSE=coq doc emacs gtk html hypothesis-selection +ocamlopt profiling zarith zip +IUSE=coq doc emacs gtk html hypothesis-selection +ocamlopt zarith zip KEYWORDS=~amd64 LICENSE=GPL-3 RDEPEND=>=dev-lang/ocaml-4.09.0[ocamlopt?] >=dev-ml/ocamlbuild-0.14.0 dev-ml/menhir dev-ml/num coq? ( >=sci-mathematics/coq-8.9.1 ) doc? ( dev-tex/rubber ) gtk? ( >=dev-ml/lablgtk-2.18.8[sourceview] ) emacs? ( >=app-editors/emacs-23.1:* ) html? ( dev-tex/hevea ) hypothesis-selection? ( dev-ml/ocamlgraph ) zarith? ( dev-ml/zarith ) zip? ( >=dev-ml/camlzip-1.07 ) @@ -12,4 +12,4 @@ RESTRICT=strip SLOT=0 SRC_URI=http://mirrors.cdn.adacore.com/art/5cdf915d31e87a8f1c967d54 -> why3-2019-20190517-197BB-src.tar.gz _eclasses_=autotools ea7865c8fba1ea8d3639f355fffe1a3c libtool f143db5a74ccd9ca28c1234deffede96 multilib 1d91b03d42ab6308b5f4f6b598ed110e toolchain-funcs 512eb3367f507ebaa1d1d43ab7d66e6c -_md5_=ae3f0a29e9221789d7a72359ba4b4281 +_md5_=af72c9c00a42b0fd0c14172f83e94dc2 |