diff options
| author | Clombrong <clombrong@egregore.fun> | 2025-05-30 14:37:16 +0200 |
|---|---|---|
| committer | Clombrong <cromblong@egregore.fun> | 2025-05-30 14:37:16 +0200 |
| commit | 0313c8c3f635752b649b00dcfc21922305b75190 (patch) | |
| tree | 674564f67a7ab8bf654388e96c3428605f946b82 /lib/dune | |
| parent | bef93807616077801b10d4bb35106e2e1368a4e1 (diff) | |
feat!: new module Stream
Diffstat (limited to 'lib/dune')
| -rw-r--r-- | lib/dune | 4 |
1 files changed, 3 insertions, 1 deletions
@@ -1,3 +1,5 @@ (library (public_name flesh) - (libraries lwt)) + (libraries + lwt + portal)) |