diff options
| author | Clombrong <clombrong@egregore.fun> | 2025-05-29 21:24:52 +0200 |
|---|---|---|
| committer | Clombrong <cromblong@egregore.fun> | 2025-05-29 21:24:52 +0200 |
| commit | 94172590a6a64bf7c33c4cdff90660da7562c433 (patch) | |
| tree | a520638c0a67fe1f9340bb1cc860d0584f2ea1c3 /dune-project | |
| parent | 3b05a4bd677acf35d74a9a56c635c213282ba5fc (diff) | |
feat(opam): add tags and remove useless dependency on flesh
Diffstat (limited to 'dune-project')
| -rw-r--r-- | dune-project | 5 |
1 files changed, 1 insertions, 4 deletions
diff --git a/dune-project b/dune-project index 699cf6c..38ac281 100644 --- a/dune-project +++ b/dune-project @@ -44,12 +44,9 @@ xmlm markup markup-lwt - (flesh - (and (= :version) - :with-test)) (merlin :with-test) (utop :with-test)) (tags - (xmpp flesh websockets lwt))) + (xmpp flesh portal websockets lwt))) ; See the complete stanza docs at https://dune.readthedocs.io/en/stable/dune-files.html#dune-project |