5 Commits

Author SHA1 Message Date
Hiroki Tokunaga
4788dc6c64
dev-ml/dune-rpc: remove vendored csexp and pp
To use the system-wide ones.

Signed-off-by: Hiroki Tokunaga <tokusan441@gmail.com>
2024-09-29 15:43:25 +09:00
David Roman
dcb8204da0
dev-ml/dune-rpc: drop 3.13.1
Signed-off-by: David Roman <davidroman96@gmail.com>
2024-09-09 11:31:45 +02:00
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