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

dev-ml/dune-rpc: new package, add 3.13.1

Browse Source 
Signed-off-by: Hiroki Tokunaga <tokusan441@gmail.com>
This commit is contained in:
Hiroki Tokunaga
2024-07-29 11:19:08 +09:00
parent 1ca000dcb3
commit 95dcb253ed
3 changed files with 62 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

1
dev-ml/dune-rpc/Manifest Normal file
View File

@@ -0,0 +1 @@
DIST dune-rpc-3.13.1.tar.gz 2891852 BLAKE2B 88cee2428134ddcd6b929915b6bbeb2d17be8b8190f963919a74c63ffcf80f596fb1556f88c41ee602b2386e02fdf396596a6b2097d67c720bd00e16cdda3a57 SHA512 910d4ddd55a91ee65d8ea35b8915506db74c924eb3b67f7b0715da5599ee5088ea3edec81ce6735addd5b17234e445608e59fa353b83e991c14768d83c97a2b5