diff options
Diffstat (limited to 'metadata/md5-cache/sci-mathematics/easycrypt-2025.10')
| -rw-r--r-- | metadata/md5-cache/sci-mathematics/easycrypt-2025.10 | 15 |
1 files changed, 0 insertions, 15 deletions
diff --git a/metadata/md5-cache/sci-mathematics/easycrypt-2025.10 b/metadata/md5-cache/sci-mathematics/easycrypt-2025.10 deleted file mode 100644 index 40b75a79c7de..000000000000 --- a/metadata/md5-cache/sci-mathematics/easycrypt-2025.10 +++ /dev/null @@ -1,15 +0,0 @@ -BDEPEND=dev-lang/ocaml dev-ml/dune -DEFINED_PHASES=compile install prepare test -DEPEND=>=sci-mathematics/why3-1.8.0:= dev-ml/batteries:= dev-ml/camlp-streams:= dev-ml/camlzip:= dev-ml/dune-build-info:= dev-ml/dune-site:= dev-ml/num:= dev-ml/ocaml-inifiles:= dev-ml/pcre2-ocaml:= dev-ml/yojson:= dev-ml/zarith:= dev-lang/ocaml:=[ocamlopt?] dev-ml/dune:= -DESCRIPTION=Computer-Aided Cryptographic Proofs -EAPI=8 -HOMEPAGE=https://github.com/EasyCrypt/easycrypt/ -INHERIT=dune -IUSE=+ocamlopt -KEYWORDS=~amd64 -LICENSE=MIT -RDEPEND=>=sci-mathematics/why3-1.8.0:= dev-ml/batteries:= dev-ml/camlp-streams:= dev-ml/camlzip:= dev-ml/dune-build-info:= dev-ml/dune-site:= dev-ml/num:= dev-ml/ocaml-inifiles:= dev-ml/pcre2-ocaml:= dev-ml/yojson:= dev-ml/zarith:= dev-lang/ocaml:=[ocamlopt?] dev-ml/dune:= -SLOT=0/2025.10 -SRC_URI=https://github.com/EasyCrypt/easycrypt/archive/r2025.10.tar.gz -> easycrypt-2025.10.gh.tar.gz -_eclasses_=dune bca6089ec4118f02802b8cee78a748c5 edo a5e294016aa84979fcb2459749eb80b2 multiprocessing 45d0620f25c2f063ad6276ecd9ed9399 -_md5_=fad4eb5c69a564e6e606f9e2ad3ac6e2 |