From 4d3b8f8b38eda2e6cfa39c2efcf4f9c4055c2d7d Mon Sep 17 00:00:00 2001
From: V3n3RiX <venerix@koprulu.sector>
Date: Thu, 12 Jan 2023 17:46:56 +0000
Subject: gentoo auto-resync : 12:01:2023 - 17:46:56

---
 metadata/md5-cache/dev-ml/core_kernel-0.14.1-r3 | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'metadata/md5-cache/dev-ml/core_kernel-0.14.1-r3')

diff --git a/metadata/md5-cache/dev-ml/core_kernel-0.14.1-r3 b/metadata/md5-cache/dev-ml/core_kernel-0.14.1-r3
index 3b99cc78fb81..c60c521a5ce1 100644
--- a/metadata/md5-cache/dev-ml/core_kernel-0.14.1-r3
+++ b/metadata/md5-cache/dev-ml/core_kernel-0.14.1-r3
@@ -12,5 +12,5 @@ RDEPEND=dev-lang/ocaml:= <dev-ml/jst-config-0.15.0 dev-ml/base:= =dev-ml/base_bi
 RESTRICT=test
 SLOT=0/0.14.1
 SRC_URI=https://github.com/janestreet/core_kernel/archive/v0.14.1.tar.gz -> core_kernel-0.14.1.tar.gz
-_eclasses_=dune	05e1ecac420bb190bc7f981fdd670d96	multiprocessing	b4e253ab22cef7b1085e9b67c7a3b730
+_eclasses_=dune	77dc707d5b61b8d0b0fe46cefbdfec3a	edo	c0eb9cbe6b0bd01fcb4918f12598a4d3	multiprocessing	b4e253ab22cef7b1085e9b67c7a3b730
 _md5_=cf49be7d1a977b61cd9559382d253512
-- 
cgit v1.2.3