diff options
| author | V3n3RiX <venerix@redcorelinux.org> | 2020-11-25 22:39:15 +0000 |
|---|---|---|
| committer | V3n3RiX <venerix@redcorelinux.org> | 2020-11-25 22:39:15 +0000 |
| commit | d934827bf44b7cfcf6711964418148fa60877668 (patch) | |
| tree | 0625f358789b5e015e49db139cc1dbc9be00428f /metadata/md5-cache/dev-util/herdtools7-7.51 | |
| parent | 2e34d110f164bf74d55fced27fe0000201b3eec5 (diff) | |
gentoo resync : 25.11.2020
Diffstat (limited to 'metadata/md5-cache/dev-util/herdtools7-7.51')
| -rw-r--r-- | metadata/md5-cache/dev-util/herdtools7-7.51 | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/metadata/md5-cache/dev-util/herdtools7-7.51 b/metadata/md5-cache/dev-util/herdtools7-7.51 index e617fe68e996..953ea2893d7e 100644 --- a/metadata/md5-cache/dev-util/herdtools7-7.51 +++ b/metadata/md5-cache/dev-util/herdtools7-7.51 @@ -1,5 +1,6 @@ +BDEPEND=dev-ml/opam-installer dev-lang/ocaml DEFINED_PHASES=compile install -DEPEND=dev-ml/ocamlbuild >=dev-lang/ocaml-4:= dev-ml/opam +DEPEND=dev-ml/ocamlbuild >=dev-lang/ocaml-4:= DESCRIPTION=The Herd toolsuite to deal with .cat memory models EAPI=7 HOMEPAGE=http://diy.inria.fr/sources/index.html @@ -8,5 +9,5 @@ LICENSE=CeCILL-B RDEPEND=>=dev-lang/ocaml-4.02.0 >=dev-lang/ocaml-4:= SLOT=0 SRC_URI=https://github.com/herd/herdtools7/archive/7.51.tar.gz -> herdtools7-7.51.tar.gz -_eclasses_=opam c053036d04fbcede5c53fe5752699eb5 +_eclasses_=opam 4f1cff0457cf4790a5510753a67d1cc1 _md5_=974f9fc0521c1807ea539d583457c728 |