Skip to content

Commit

Permalink
[new release] mirage-flow (3 packages) (4.0.1)
Browse files Browse the repository at this point in the history
CHANGES:

- move Mirage_flow.stats and pp_stats to Mirage_flow_combinators (mirage/mirage-flow#51 @hannesm)
- improve documentation of expected semantics (when write promise is resolved,
  what is done to the underlying flow - addresses mirage/mirage-flow#4 @samoht),
  (mirage/mirage-flow#51 @reynir @dinosaure @hannesm)
- add < coercion to shutdown:
  ``shutdown : flow -> [< `read | `write | `read_write ] -> unit Lwt.t``
  (requested mirage/mirage-flow#50 @reynir, mirage/mirage-flow#52 @hannesm)
  • Loading branch information
hannesm committed Feb 8, 2024
1 parent d87a1eb commit 86174d7
Show file tree
Hide file tree
Showing 4,418 changed files with 113 additions and 158,772 deletions.
The diff you're trying to view is too large. We only load the first 3000 changed files.
19 changes: 0 additions & 19 deletions packages/0install/0install.2.10/files/0install.install

This file was deleted.

39 changes: 0 additions & 39 deletions packages/0install/0install.2.10/opam

This file was deleted.

19 changes: 0 additions & 19 deletions packages/0install/0install.2.11/files/0install.install

This file was deleted.

40 changes: 0 additions & 40 deletions packages/0install/0install.2.11/opam

This file was deleted.

19 changes: 0 additions & 19 deletions packages/0install/0install.2.12.1/files/0install.install

This file was deleted.

41 changes: 0 additions & 41 deletions packages/0install/0install.2.12.1/opam

This file was deleted.

19 changes: 0 additions & 19 deletions packages/0install/0install.2.12.3/files/0install.install

This file was deleted.

40 changes: 0 additions & 40 deletions packages/0install/0install.2.12.3/opam

This file was deleted.

19 changes: 0 additions & 19 deletions packages/0install/0install.2.12/files/0install.install

This file was deleted.

39 changes: 0 additions & 39 deletions packages/0install/0install.2.12/opam

This file was deleted.

42 changes: 0 additions & 42 deletions packages/0install/0install.2.14/opam

This file was deleted.

19 changes: 0 additions & 19 deletions packages/0install/0install.2.8/files/0install.install

This file was deleted.

13 changes: 0 additions & 13 deletions packages/0install/0install.2.8/files/gui_gtk_dir.patch

This file was deleted.

Loading

0 comments on commit 86174d7

Please sign in to comment.