summaryrefslogtreecommitdiffstats
path: root/rdcapsis.opam
diff options
context:
space:
mode:
authorRutger Broekhoff2026-01-09 11:45:02 +0100
committerRutger Broekhoff2026-01-09 11:45:02 +0100
commit6ebee5d82d3674fe50609b308d1eaf3cdac101d1 (patch)
treed2893c3f3ab40b943e82a44da0d7eb0b9c5b49fd /rdcapsis.opam
parentb4bc6aecbfc4dd78409085221a8b88ee4129b171 (diff)
downloadrdcapsis-6ebee5d82d3674fe50609b308d1eaf3cdac101d1.tar.gz
rdcapsis-6ebee5d82d3674fe50609b308d1eaf3cdac101d1.zip
I have no idea what I'm doing
Diffstat (limited to 'rdcapsis.opam')
-rw-r--r--rdcapsis.opam1
1 files changed, 1 insertions, 0 deletions
diff --git a/rdcapsis.opam b/rdcapsis.opam
index 5a8adb0..bc0f8e5 100644
--- a/rdcapsis.opam
+++ b/rdcapsis.opam
@@ -24,6 +24,7 @@ depends: [
24 "nottui-unix" 24 "nottui-unix"
25 "utop" {dev} 25 "utop" {dev}
26 "merlin" {dev} 26 "merlin" {dev}
27 "ocaml-lsp-server" {dev}
27 "ocamlformat" {dev} 28 "ocamlformat" {dev}
28 "odoc" {doc} 29 "odoc" {doc}
29 "odoc" {with-doc} 30 "odoc" {with-doc}