From d934827bf44b7cfcf6711964418148fa60877668 Mon Sep 17 00:00:00 2001 From: V3n3RiX Date: Wed, 25 Nov 2020 22:39:15 +0000 Subject: gentoo resync : 25.11.2020 --- metadata/md5-cache/dev-util/herdtools7-7.47 | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'metadata/md5-cache/dev-util/herdtools7-7.47') diff --git a/metadata/md5-cache/dev-util/herdtools7-7.47 b/metadata/md5-cache/dev-util/herdtools7-7.47 index 2206eb688ad4..eb62e4ad2e87 100644 --- a/metadata/md5-cache/dev-util/herdtools7-7.47 +++ b/metadata/md5-cache/dev-util/herdtools7-7.47 @@ -1,5 +1,5 @@ DEFINED_PHASES=compile install -DEPEND=dev-ml/ocamlbuild >=dev-lang/ocaml-4:= dev-ml/opam +DEPEND=dev-ml/ocamlbuild >=dev-lang/ocaml-4:= dev-ml/opam-installer DESCRIPTION=The Herd toolsuite to deal with .cat memory models EAPI=6 HOMEPAGE=http://diy.inria.fr/sources/index.html @@ -8,5 +8,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.47.tar.gz -> herdtools7-7.47.tar.gz -_eclasses_=opam c053036d04fbcede5c53fe5752699eb5 +_eclasses_=opam 4f1cff0457cf4790a5510753a67d1cc1 _md5_=676ce5a4ed692d83908c517610d6cf8a -- cgit v1.2.3