diff options
| author |   Repository mirror & CI <repomirrorci@gentoo.org> | 2022-03-04 11:22:09 +0000 |
|---|---|---|
| committer | Repository mirror & CI <repomirrorci@gentoo.org> | 2022-03-04 11:22:09 +0000 |
| commit | f4e7b21ca4091d67e3ed9a64c041c9129c564ea7 (patch) | |
| tree | a0259d65aeec8061bc3c1d70782595499fcab2a8 /metadata/md5-cache/sci-mathematics | |
| parent | Merge updates from master (diff) | |
| download | gentoo-f4e7b21ca4091d67e3ed9a64c041c9129c564ea7.tar.gz gentoo-f4e7b21ca4091d67e3ed9a64c041c9129c564ea7.tar.bz2 gentoo-f4e7b21ca4091d67e3ed9a64c041c9129c564ea7.zip | |
2022-03-04 11:22:08 UTC
Diffstat (limited to 'metadata/md5-cache/sci-mathematics')
| -rw-r--r-- | metadata/md5-cache/sci-mathematics/easycrypt-1.0_pre20220303 | 15 | ||||
| -rw-r--r-- | metadata/md5-cache/sci-mathematics/why3-1.4.1 | 15 |
2 files changed, 30 insertions, 0 deletions
diff --git a/metadata/md5-cache/sci-mathematics/easycrypt-1.0_pre20220303 b/metadata/md5-cache/sci-mathematics/easycrypt-1.0_pre20220303 new file mode 100644 index 000000000000..b8991552e776 --- /dev/null +++ b/metadata/md5-cache/sci-mathematics/easycrypt-1.0_pre20220303 @@ -0,0 +1,15 @@ +BDEPEND=dev-ml/dune dev-lang/ocaml +DEFINED_PHASES=compile install prepare test +DEPEND=>=dev-lang/ocaml-4.08.0:=[ocamlopt?] >=sci-mathematics/why3-1.4:= dev-ml/batteries:= dev-ml/camlzip:= dev-ml/dune-build-info:= dev-ml/dune-site:= dev-ml/ocaml-inifiles:= dev-ml/pcre-ocaml:= dev-ml/yojson:= dev-ml/zarith:= >=dev-lang/ocaml-4:=[ocamlopt?] dev-ml/dune:= +DESCRIPTION=Computer-Aided Cryptographic Proofs +EAPI=8 +HOMEPAGE=https://github.com/EasyCrypt/easycrypt +INHERIT=dune +IUSE=+ocamlopt +KEYWORDS=~amd64 +LICENSE=CeCILL-B CeCILL-C +RDEPEND=>=dev-lang/ocaml-4.08.0:=[ocamlopt?] >=sci-mathematics/why3-1.4:= dev-ml/batteries:= dev-ml/camlzip:= dev-ml/dune-build-info:= dev-ml/dune-site:= dev-ml/ocaml-inifiles:= dev-ml/pcre-ocaml:= dev-ml/yojson:= dev-ml/zarith:= >=dev-lang/ocaml-4:=[ocamlopt?] dev-ml/dune:= +SLOT=0/1.0_pre20220303 +SRC_URI=https://github.com/EasyCrypt/easycrypt/archive/c98b014c131b6c0b147b852902953dd6c5771603.tar.gz -> easycrypt-1.0_pre20220303.tar.gz +_eclasses_=multiprocessing 61c959fc55c15c00bbb1079d6a71370b dune 2ef529836d2d3100bfd771a77fcffdf8 +_md5_=b6e0e04e8dc1cfda670bf39ca4b57a90 diff --git a/metadata/md5-cache/sci-mathematics/why3-1.4.1 b/metadata/md5-cache/sci-mathematics/why3-1.4.1 new file mode 100644 index 000000000000..3d09264f05d6 --- /dev/null +++ b/metadata/md5-cache/sci-mathematics/why3-1.4.1 @@ -0,0 +1,15 @@ +BDEPEND=doc? ( dev-python/sphinx dev-python/sphinxcontrib-bibtex media-gfx/graphviz dev-texlive/texlive-latex dev-texlive/texlive-fontsrecommended dev-texlive/texlive-latexextra ) sys-devel/gnuconfig >=app-portage/elt-patches-20170815 || ( >=sys-devel/automake-1.16.4:1.16 ) >=sys-devel/autoconf-2.71 >=sys-devel/libtool-2.4 +DEFINED_PHASES=compile configure install prepare +DEPEND=!sci-mathematics/why3-for-spark >=dev-lang/ocaml-4.05.0:=[ocamlopt?] >=dev-ml/menhir-20151112:= dev-ml/num:= coq? ( >=sci-mathematics/coq-8.6 ) emacs? ( app-editors/emacs:* ) gtk? ( dev-ml/lablgtk:=[sourceview,ocamlopt?] ) re? ( dev-ml/re:= dev-ml/seq:= ) sexp? ( dev-ml/ppx_deriving:=[ocamlopt?] dev-ml/ppx_sexp_conv:=[ocamlopt?] dev-ml/sexplib:=[ocamlopt?] ) zarith? ( dev-ml/zarith:= ) zip? ( dev-ml/camlzip:= ) >=dev-ml/findlib-1.0.4-r1 +DESCRIPTION=Platform for deductive program verification +EAPI=7 +HOMEPAGE=http://why3.lri.fr/ +INHERIT=autotools findlib +IUSE=coq doc emacs gtk +ocamlopt re sexp +zarith zip +ocamlopt +KEYWORDS=~amd64 +LICENSE=LGPL-2 +RDEPEND=!sci-mathematics/why3-for-spark >=dev-lang/ocaml-4.05.0:=[ocamlopt?] >=dev-ml/menhir-20151112:= dev-ml/num:= coq? ( >=sci-mathematics/coq-8.6 ) emacs? ( app-editors/emacs:* ) gtk? ( dev-ml/lablgtk:=[sourceview,ocamlopt?] ) re? ( dev-ml/re:= dev-ml/seq:= ) sexp? ( dev-ml/ppx_deriving:=[ocamlopt?] dev-ml/ppx_sexp_conv:=[ocamlopt?] dev-ml/sexplib:=[ocamlopt?] ) zarith? ( dev-ml/zarith:= ) zip? ( dev-ml/camlzip:= ) dev-lang/ocaml:=[ocamlopt?] +SLOT=0/1.4.1 +SRC_URI=https://why3.gitlabpages.inria.fr/releases/why3-1.4.1.tar.gz +_eclasses_=gnuconfig 262062cef0ba4f22b397193da514a350 toolchain-funcs badd6e329e1f3e6bee99b35bf8763ce8 multilib de4beb52bfa93c4c5d96792a6b5e1784 libtool 241a8f577b9781a42a7421e53448a44e autotools 6cc26735fa9dd59e8c62880beda05b6e findlib e6df6108c2d753998b1206f4d5ea4a2d +_md5_=16dc085bd3683914513b886dc572ae1d |