mirrors/guru
1
0
Fork 0
mirror of https://github.com/gentoo-mirror/guru.git synced 2026-07-18 11:33:15 -04:00
Code Issues Packages Projects Releases Wiki Activity
24,085 Commits 1 Branch 0 Tags
993bec4cfb5997d351dd2c2f160828624f6e793a
Commit Graph

3 Commits

Author SHA1 Message Date
Hiroki Tokunaga
b5178c4adf dev-ml/dune-rpc: add 3.16.0 
Signed-off-by: Hiroki Tokunaga <tokusan441@gmail.com>
 2024-08-02 12:34:46 +09:00
Hiroki Tokunaga
1da96eb157 dev-ml/dune-rpc: replace removed dependencies 
Signed-off-by: Hiroki Tokunaga <tokusan441@gmail.com>
 2024-08-02 12:00:46 +09:00
Hiroki Tokunaga
95dcb253ed dev-ml/dune-rpc: new package, add 3.13.1 
Signed-off-by: Hiroki Tokunaga <tokusan441@gmail.com>
 2024-07-29 11:19:08 +09:00