From 7895eadf3b477bf5b027ce3a465deb31a8b8c80e Mon Sep 17 00:00:00 2001 From: Anil Madhavapeddy Date: Thu, 7 Feb 2019 10:20:08 +0000 Subject: [PATCH] use io-page-unix instead of io-page.unix to work with duniverse --- CHANGES.md | 4 ++++ unix/dune | 2 +- 2 files changed, 5 insertions(+), 1 deletion(-) diff --git a/CHANGES.md b/CHANGES.md index 03c3e6a..ff112e1 100644 --- a/CHANGES.md +++ b/CHANGES.md @@ -1,3 +1,7 @@ +## v1.0.1 (2019-02-07) + +* Use modern `io-page-unix` instead of `io-page.unix` (@avsm) + ## v1.0.0 (2019-02-03) * Upgrade metadata to opam 2.0 format (@avsm) diff --git a/unix/dune b/unix/dune index 664be57..a64009a 100644 --- a/unix/dune +++ b/unix/dune @@ -2,4 +2,4 @@ (name protocol_9p_unix) (public_name protocol-9p-unix) (libraries fmt lwt mirage-flow-lwt cstruct cstruct-lwt astring protocol-9p - io-page.unix prometheus)) + io-page-unix prometheus))