mirrors/guru
1
0
Fork 0
mirror of https://github.com/gentoo-mirror/guru.git synced 2026-07-21 21:13:27 -04:00
Code Issues Packages Projects Releases Wiki Activity

2022-05-01 07:51:48 UTC

Browse Source
This commit is contained in:
Repository mirror & CI
2022-05-01 07:51:48 +00:00
parent 2665532f2b
commit 0717f75b5f
1227 changed files with 1227 additions and 1227 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
metadata/md5-cache/dev-ml/shared-block-ring-3.0.0
View File

@@ -12,5 +12,5 @@ RDEPEND=>=dev-ml/cstruct-3.0.0:=[ppx] dev-ml/lwt:= dev-ml/lwt_log:= dev-ml/cmdli
RESTRICT=!test? ( test )
SLOT=0/3.0.0
SRC_URI=https://github.com/mirage/shared-block-ring/archive/refs/tags/3.0.0.tar.gz -> shared-block-ring-3.0.0.tar.gz
_eclasses_=multiprocessing 61c959fc55c15c00bbb1079d6a71370b dune c8f275f00adf2380fe0a57d8a249885c
_eclasses_=multiprocessing b4e253ab22cef7b1085e9b67c7a3b730 dune c8f275f00adf2380fe0a57d8a249885c
_md5_=bcd22fb2eca24d9aa1b212e67bb86d06