diff options
author | Clombrong <cromblong@egregore.fun> | 2025-06-17 23:20:03 +0200 |
---|---|---|
committer | Clombrong <cromblong@egregore.fun> | 2025-06-17 23:37:13 +0200 |
commit | 98f092a2e47882091bbbe10642cc810df9e11f5e (patch) | |
tree | cf72cf0ada033c0e85f056ff095c35278cc2abbe /portal.opam | |
parent | 0c8f92a24ce0e4d6e954b70e29c89ec874592bc5 (diff) |
feat(portal): depend on markup.ml
Diffstat (limited to 'portal.opam')
-rw-r--r-- | portal.opam | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/portal.opam b/portal.opam index 8d60e7f..2237a6d 100644 --- a/portal.opam +++ b/portal.opam @@ -15,6 +15,8 @@ depends: [ "ocaml" "dune" {>= "3.11"} "lwt" + "markup" + "markup-lwt" "merlin" {with-test} "utop" {with-test} "odoc" {with-doc} |