summaryrefslogtreecommitdiff
path: root/metadata/md5-cache/dev-ml/jingoo-1.4.2
diff options
context:
space:
mode:
Diffstat (limited to 'metadata/md5-cache/dev-ml/jingoo-1.4.2')
-rw-r--r--metadata/md5-cache/dev-ml/jingoo-1.4.22
1 files changed, 1 insertions, 1 deletions
diff --git a/metadata/md5-cache/dev-ml/jingoo-1.4.2 b/metadata/md5-cache/dev-ml/jingoo-1.4.2
index db58d8947174..da8ef7c644b6 100644
--- a/metadata/md5-cache/dev-ml/jingoo-1.4.2
+++ b/metadata/md5-cache/dev-ml/jingoo-1.4.2
@@ -11,5 +11,5 @@ RDEPEND=dev-ml/ppx_deriving:= dev-ml/uucp:= dev-ml/uutf:= dev-ml/re:= dev-ml/men
RESTRICT=!test? ( test )
SLOT=0
SRC_URI=https://github.com/tategakibunko/jingoo/archive/v1.4.2.tar.gz -> jingoo-1.4.2.tar.gz
-_eclasses_=dune 46e13a2340ab32b2ad8ae98b653695ea
+_eclasses_=dune 2d138ae1c0f7d4624876ad486529731f
_md5_=f7c993ba6d9ff6c4dabb0f58b7925bd6