aboutsummaryrefslogtreecommitdiffstats
path: root/rnt.opam
diff options
context:
space:
mode:
authorMarcos Magueta <maguetamarcos@gmail.com>2026-07-18 22:05:04 -0300
committerMarcos Magueta <maguetamarcos@gmail.com>2026-07-18 22:05:04 -0300
commit3e62b0d7dc814fbdcedb06bb79b22669bc9d4b40 (patch)
treecd77cd6698715727965da96ed39fb381106be3f3 /rnt.opam
parentc374635a36d71e8cfff6e1c19b62e5d0e14ea371 (diff)
downloadRNT-3e62b0d7dc814fbdcedb06bb79b22669bc9d4b40.tar.gz
RNT-3e62b0d7dc814fbdcedb06bb79b22669bc9d4b40.zip
remaining packages on dune
Diffstat (limited to '')
-rw-r--r--rnt.opam2
1 files changed, 2 insertions, 0 deletions
diff --git a/rnt.opam b/rnt.opam
index c938ed8..97cdf3b 100644
--- a/rnt.opam
+++ b/rnt.opam
@@ -12,7 +12,9 @@ depends: [
"dune" {>= "3.7"}
"ocaml" {>= "4.14"}
"batteries"
+ "digestif"
"alcotest" {with-test}
+ "ocaml-lsp-server" {with-dev-setup}
"odoc" {with-doc}
]
build: [