diff options
Diffstat (limited to 'metadata/md5-cache/sci-mathematics/proverif-9999')
| -rw-r--r-- | metadata/md5-cache/sci-mathematics/proverif-9999 | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/metadata/md5-cache/sci-mathematics/proverif-9999 b/metadata/md5-cache/sci-mathematics/proverif-9999 index 7b87c5c093a3..3d0d71d0b2fd 100644 --- a/metadata/md5-cache/sci-mathematics/proverif-9999 +++ b/metadata/md5-cache/sci-mathematics/proverif-9999 @@ -1,6 +1,6 @@ -BDEPEND=emacs? ( >=app-editors/emacs-25:* ) >=dev-vcs/git-1.8.2.1[curl] +BDEPEND=>=dev-vcs/git-1.8.2.1[curl] DEFINED_PHASES=compile install test unpack -DEPEND=>=dev-ml/findlib-1.0.4-r1[ocamlopt?] +DEPEND=dev-lang/ocaml:=[ocamlopt] emacs? ( >=app-editors/emacs-25:* ) >=dev-ml/findlib-1.0.4-r1[ocamlopt?] DESCRIPTION=Cryptographic protocol verifier in the formal model EAPI=8 HOMEPAGE=https://bblanche.gitlabpages.inria.fr/proverif/ https://gitlab.inria.fr/bblanche/proverif/ @@ -8,7 +8,7 @@ INHERIT=edo elisp-common findlib git-r3 IUSE=emacs +ocamlopt LICENSE=GPL-2+ PROPERTIES=live -RDEPEND=emacs? ( >=app-editors/emacs-25:* ) dev-lang/ocaml:=[ocamlopt?] +RDEPEND=dev-lang/ocaml:=[ocamlopt] emacs? ( >=app-editors/emacs-25:* ) dev-lang/ocaml:=[ocamlopt?] SLOT=0 _eclasses_=edo c0eb9cbe6b0bd01fcb4918f12598a4d3 elisp-common 2a0fa407d2e6363c663ccb299503b25c findlib cc1c14904708a0a28bcb256b342a808c git-r3 2358a7b20091609e24bd3a83b3ac5991 -_md5_=5d8b3e45511fdfc3880f0e1de2393978 +_md5_=167673677120928bfde7755df17218b3 |