diff options
Diffstat (limited to 'rdcapsis.opam')
| -rw-r--r-- | rdcapsis.opam | 1 |
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} |