mirror of
https://github.com/gentoo-mirror/guru.git
synced 2026-07-20 20:43:09 -04:00
2022-12-10 02:04:29 UTC
This commit is contained in:
@@ -12,5 +12,5 @@ RDEPEND=>=dev-ml/cstruct-6.0.0:=[ppx] dev-ml/lwt:= dev-ml/lwt_log:= dev-ml/cmdli
|
||||
RESTRICT=!test? ( test )
|
||||
SLOT=0/3.0.1
|
||||
SRC_URI=https://github.com/mirage/shared-block-ring/archive/refs/tags/v3.0.1.tar.gz -> shared-block-ring-3.0.1.tar.gz
|
||||
_eclasses_=multiprocessing b4e253ab22cef7b1085e9b67c7a3b730 dune c8f275f00adf2380fe0a57d8a249885c
|
||||
_eclasses_=multiprocessing b4e253ab22cef7b1085e9b67c7a3b730 dune db0ce2a301411f44e4ee90e5c591ada0
|
||||
_md5_=2dc435cf79f76886f0c668a49ec91e94
|
||||
|
||||
Reference in New Issue
Block a user