dev-ml/dune-rpc
Communicate with dune using rpc
-
dune-rpc-3.15.0~amd64 ~arm ~arm64 ~ppc ~ppc64 ~riscv ~x86+ocamlopt
View Download Browse License: Apache-2.0Overlay: zscheile -
dune-rpc-3.14.0~amd64 ~arm ~arm64 ~ppc ~ppc64 ~riscv ~x86+ocamlopt
View Download Browse License: Apache-2.0Overlay: zscheile -
dune-rpc-3.13.0~amd64 ~arm ~arm64 ~ppc ~ppc64 ~riscv ~x86+ocamlopt
View Download Browse License: Apache-2.0Overlay: zscheile
ChangeLog
commit 4788dc6c6416a91ca755d864f6e61176aa3739fa
Author: Hiroki Tokunaga <tokusan441@gmail.com>
Date: Sun Sep 29 15:43:25 2024 +0900
dev-ml/dune-rpc: remove vendored `csexp` and `pp`
To use the system-wide ones.
Signed-off-by: Hiroki Tokunaga <tokusan441@gmail.com>
commit dcb8204da08ce11178ecb9e0a87f682699054230
Author: David Roman <davidroman96@gmail.com>
Date: Mon Sep 9 11:31:45 2024 +0200
dev-ml/dune-rpc: drop 3.13.1
Signed-off-by: David Roman <davidroman96@gmail.com>
commit b5178c4adf0b69a8b2d622f263d7ff95bf275d74
Author: Hiroki Tokunaga <tokusan441@gmail.com>
Date: Fri Aug 2 12:34:46 2024 +0900
dev-ml/dune-rpc: add 3.16.0
Signed-off-by: Hiroki Tokunaga <tokusan441@gmail.com>
commit 1da96eb157d3106e1c4f528e0d30d448ae2fba3c
Author: Hiroki Tokunaga <tokusan441@gmail.com>
Date: Fri Aug 2 12:00:46 2024 +0900
dev-ml/dune-rpc: replace removed dependencies
Signed-off-by: Hiroki Tokunaga <tokusan441@gmail.com>
commit 95dcb253ed41b51bb35a363be7c333c86facf2bb
Author: Hiroki Tokunaga <tokusan441@gmail.com>
Date: Mon Jul 29 11:19:08 2024 +0900
dev-ml/dune-rpc: new package, add 3.13.1
Signed-off-by: Hiroki Tokunaga <tokusan441@gmail.com>
Author: Hiroki Tokunaga <tokusan441@gmail.com>
Date: Sun Sep 29 15:43:25 2024 +0900
dev-ml/dune-rpc: remove vendored `csexp` and `pp`
To use the system-wide ones.
Signed-off-by: Hiroki Tokunaga <tokusan441@gmail.com>
commit dcb8204da08ce11178ecb9e0a87f682699054230
Author: David Roman <davidroman96@gmail.com>
Date: Mon Sep 9 11:31:45 2024 +0200
dev-ml/dune-rpc: drop 3.13.1
Signed-off-by: David Roman <davidroman96@gmail.com>
commit b5178c4adf0b69a8b2d622f263d7ff95bf275d74
Author: Hiroki Tokunaga <tokusan441@gmail.com>
Date: Fri Aug 2 12:34:46 2024 +0900
dev-ml/dune-rpc: add 3.16.0
Signed-off-by: Hiroki Tokunaga <tokusan441@gmail.com>
commit 1da96eb157d3106e1c4f528e0d30d448ae2fba3c
Author: Hiroki Tokunaga <tokusan441@gmail.com>
Date: Fri Aug 2 12:00:46 2024 +0900
dev-ml/dune-rpc: replace removed dependencies
Signed-off-by: Hiroki Tokunaga <tokusan441@gmail.com>
commit 95dcb253ed41b51bb35a363be7c333c86facf2bb
Author: Hiroki Tokunaga <tokusan441@gmail.com>
Date: Mon Jul 29 11:19:08 2024 +0900
dev-ml/dune-rpc: new package, add 3.13.1
Signed-off-by: Hiroki Tokunaga <tokusan441@gmail.com>