diff options
| author |   Repository mirror & CI <repomirrorci@gentoo.org> | 2021-01-20 13:33:31 +0000 |
|---|---|---|
| committer | Repository mirror & CI <repomirrorci@gentoo.org> | 2021-01-20 13:33:31 +0000 |
| commit | 7d5c034ce63ec9695484061dae6ae4f4288480c1 (patch) | |
| tree | c40f08e6655d3db73a6cf3a75804b1b037e97f28 /metadata/md5-cache/sci-mathematics/why3-for-spark-2019-r1 | |
| parent | Merge updates from master (diff) | |
| download | gentoo-7d5c034ce63ec9695484061dae6ae4f4288480c1.tar.gz gentoo-7d5c034ce63ec9695484061dae6ae4f4288480c1.tar.bz2 gentoo-7d5c034ce63ec9695484061dae6ae4f4288480c1.zip | |
2021-01-20 13:33:28 UTC
Diffstat (limited to 'metadata/md5-cache/sci-mathematics/why3-for-spark-2019-r1')
| -rw-r--r-- | metadata/md5-cache/sci-mathematics/why3-for-spark-2019-r1 | 15 |
1 files changed, 0 insertions, 15 deletions
diff --git a/metadata/md5-cache/sci-mathematics/why3-for-spark-2019-r1 b/metadata/md5-cache/sci-mathematics/why3-for-spark-2019-r1 deleted file mode 100644 index 2ee41c10f494..000000000000 --- a/metadata/md5-cache/sci-mathematics/why3-for-spark-2019-r1 +++ /dev/null @@ -1,15 +0,0 @@ -DEFINED_PHASES=compile configure install -DEPEND=>=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:= ) >=app-portage/elt-patches-20170815 || ( >=sys-devel/automake-1.16.2-r1:1.16 ) >=sys-devel/autoconf-2.69 >=sys-devel/libtool-2.4 -DESCRIPTION=Platform for deductive program verification -EAPI=6 -HOMEPAGE=http://why3.lri.fr/ -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:= ) -REQUIRED_USE=html? ( doc ) -RESTRICT=strip -SLOT=0 -SRC_URI=http://mirrors.cdn.adacore.com/art/5cdf915d31e87a8f1c967d54 -> why3-2019-20190517-197BB-src.tar.gz -_eclasses_=autotools 9988ecbe04129214297a7bbf3d253710 libtool f143db5a74ccd9ca28c1234deffede96 multilib d410501a125f99ffb560b0c523cd3d1e toolchain-funcs 1a94dc06d324bd0dab754e11abe6d27e -_md5_=85f8e46bebcc53b518150fdf3673580c |