aboutsummaryrefslogtreecommitdiffstats
path: root/dune-project
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 /dune-project
parentc374635a36d71e8cfff6e1c19b62e5d0e14ea371 (diff)
downloadRNT-3e62b0d7dc814fbdcedb06bb79b22669bc9d4b40.tar.gz
RNT-3e62b0d7dc814fbdcedb06bb79b22669bc9d4b40.zip
remaining packages on dune
Diffstat (limited to 'dune-project')
-rw-r--r--dune-project4
1 files changed, 3 insertions, 1 deletions
diff --git a/dune-project b/dune-project
index ba42d1a..e7c3b1e 100644
--- a/dune-project
+++ b/dune-project
@@ -22,4 +22,6 @@
(ocaml
(>= 4.14))
batteries
- (alcotest :with-test)))
+ digestif
+ (alcotest :with-test)
+ (ocaml-lsp-server :with-dev-setup))) ; <-- Linha adicionada aqui