From 017995be0e39b7da845b130f50d465c9584dae04 Mon Sep 17 00:00:00 2001 From: Hannes Mehnert Date: Wed, 27 Mar 2024 21:22:13 +0100 Subject: [PATCH] utcp: update opam from upstream --- packages/utcp.0.0.1~dev/opam | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/packages/utcp.0.0.1~dev/opam b/packages/utcp.0.0.1~dev/opam index 1ebbeac..4ba6e95 100644 --- a/packages/utcp.0.0.1~dev/opam +++ b/packages/utcp.0.0.1~dev/opam @@ -6,7 +6,7 @@ dev-repo: "git+https://github.com/robur-coop/utcp.git" bug-reports: "https://github.com/robur-coop/utcp/issues" depends: [ - "ocaml" {>= "4.08.0"} + "ocaml" {>= "4.13.0"} "dune" {>= "2.7.0"} "cstruct" {>= "6.0.1"} "duration" {>= "0.2.0"} @@ -23,7 +23,8 @@ depends: [ "mirage-random" {>= "2.0.0"} "mirage-time" {>= "2.0.1"} "mirage-clock" {>= "3.1.0"} - "tcpip" {>= "7.0.0"} + "tcpip" {>= "8.0.1"} + "mirage-flow" {>= "4.0.0"} #for apps "cmdliner" {>= "1.1.0" & dev} "mirage-net-unix" {>= "2.8.0" & dev}