diff options
| author | V3n3RiX <venerix@koprulu.sector> | 2025-02-08 00:11:30 +0000 |
|---|---|---|
| committer | V3n3RiX <venerix@koprulu.sector> | 2025-02-08 00:11:30 +0000 |
| commit | 8b3c41ecef8a1cdd270ce3aabcfdfb991839699c (patch) | |
| tree | ece43c29d9163f887ef99c43aad6f2f568961231 /metadata/md5-cache/sci-mathematics | |
| parent | 1b2360e7bab42e4045232887cb4f6c4a24ca3975 (diff) | |
Diffstat (limited to 'metadata/md5-cache/sci-mathematics')
| -rw-r--r-- | metadata/md5-cache/sci-mathematics/Manifest.gz | bin | 32469 -> 32636 bytes | |||
| -rw-r--r-- | metadata/md5-cache/sci-mathematics/why3-for-spark-2023.12.13 | 17 |
2 files changed, 17 insertions, 0 deletions
diff --git a/metadata/md5-cache/sci-mathematics/Manifest.gz b/metadata/md5-cache/sci-mathematics/Manifest.gz Binary files differindex d68b00cf083f..f9e9bc52e652 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/why3-for-spark-2023.12.13 b/metadata/md5-cache/sci-mathematics/why3-for-spark-2023.12.13 new file mode 100644 index 000000000000..24dbfc9e7219 --- /dev/null +++ b/metadata/md5-cache/sci-mathematics/why3-for-spark-2023.12.13 @@ -0,0 +1,17 @@ +BDEPEND=doc? ( dev-python/sphinx dev-python/sphinxcontrib-bibtex dev-tex/rubber media-gfx/graphviz ) >=app-portage/elt-patches-20240116 sys-devel/gnuconfig || ( >=dev-build/automake-1.17-r1:1.17 >=dev-build/automake-1.16.5:1.16 ) || ( >=dev-build/autoconf-2.72-r1:2.72 >=dev-build/autoconf-2.71-r6:2.71 ) >=dev-build/libtool-2.4.7-r3 +DEFINED_PHASES=compile configure install prepare +DEPEND=>=dev-lang/ocaml-4.11:=[ocamlopt?] dev-ml/menhir:=[ocamlopt?] dev-ml/num:=[ocamlopt?] dev-ml/yojson:= coq? ( sci-mathematics/coq ) emacs? ( app-editors/emacs:* ) gtk? ( dev-ml/lablgtk:=[sourceview] ) html? ( dev-tex/hevea:= ) hypothesis-selection? ( dev-ml/ocamlgraph:= ) dev-ml/ppx_deriving:=[ocamlopt?] dev-ml/ppx_sexp_conv:=[ocamlopt?] dev-ml/sexplib:=[ocamlopt?] zarith? ( dev-ml/zarith:=[ocamlopt?] ) zip? ( dev-ml/camlzip:=[ocamlopt?] ) >=dev-ml/findlib-1.0.4-r1[ocamlopt?] +DESCRIPTION=SPARK 2014 repository for the Why3 verification platform +EAPI=8 +HOMEPAGE=https://www.why3.org/ https://github.com/AdaCore/why3 +INHERIT=autotools findlib +IUSE=coq doc emacs gtk html hypothesis-selection +ocamlopt sexp zarith zip +ocamlopt +KEYWORDS=~amd64 +LICENSE=GPL-3 +RDEPEND=>=dev-lang/ocaml-4.11:=[ocamlopt?] dev-ml/menhir:=[ocamlopt?] dev-ml/num:=[ocamlopt?] dev-ml/yojson:= coq? ( sci-mathematics/coq ) emacs? ( app-editors/emacs:* ) gtk? ( dev-ml/lablgtk:=[sourceview] ) html? ( dev-tex/hevea:= ) hypothesis-selection? ( dev-ml/ocamlgraph:= ) dev-ml/ppx_deriving:=[ocamlopt?] dev-ml/ppx_sexp_conv:=[ocamlopt?] dev-ml/sexplib:=[ocamlopt?] zarith? ( dev-ml/zarith:=[ocamlopt?] ) zip? ( dev-ml/camlzip:=[ocamlopt?] ) dev-lang/ocaml:=[ocamlopt?] +REQUIRED_USE=html? ( doc ) ocamlopt +RESTRICT=strip +SLOT=0 +SRC_URI=https://github.com/AdaCore/why3/archive/fb4ca6cd8c7d888d3e8d281e6de87c66ec20f084.tar.gz -> why3-for-spark-2023.12.13.tar.gz +_eclasses_=autotools 7d91cc798a8afd8f4e0c6e9587296ebe findlib 49d5365fca4dea46f13825b9d763c89e gnuconfig ddeb9f8caff1b5f71a09c75b7534df79 libtool 6b28392a775f807c8be5fc7ec9a605b9 multilib b2a329026f2e404e9e371097dda47f96 toolchain-funcs 14648d8795f7779e11e1bc7cf08b7536 +_md5_=ae6f5ad01fef598cfa793a20923012df |