aboutsummaryrefslogtreecommitdiff
path: root/portal.opam
diff options
context:
space:
mode:
authorClombrong <cromblong@egregore.fun>2025-06-17 23:20:03 +0200
committerClombrong <cromblong@egregore.fun>2025-06-17 23:37:13 +0200
commit98f092a2e47882091bbbe10642cc810df9e11f5e (patch)
treecf72cf0ada033c0e85f056ff095c35278cc2abbe /portal.opam
parent0c8f92a24ce0e4d6e954b70e29c89ec874592bc5 (diff)
feat(portal): depend on markup.ml
Diffstat (limited to 'portal.opam')
-rw-r--r--portal.opam2
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}