From 3807a4b6c7b4e7d8c71dfc2fd8b5c807e6db320d Mon Sep 17 00:00:00 2001
From: Hannes Mehnert <hannes@mehnert.org>
Date: Wed, 27 Nov 2024 19:41:39 +0100
Subject: [PATCH 1/2] add type constraint for prefix (since mirage-tcpip 8.1.0)

---
 client/mirage/dhcp_ipv4.mli | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/client/mirage/dhcp_ipv4.mli b/client/mirage/dhcp_ipv4.mli
index 7236aaf..e84d187 100644
--- a/client/mirage/dhcp_ipv4.mli
+++ b/client/mirage/dhcp_ipv4.mli
@@ -15,7 +15,7 @@
  *)
 
 module Make(R : Mirage_crypto_rng_mirage.S) (C : Mirage_clock.MCLOCK) (Time : Mirage_time.S) (Network : Mirage_net.S) (E : Ethernet.S) (Arp : Arp.S) : sig
-  include Tcpip.Ip.S with type ipaddr = Ipaddr.V4.t
+  include Tcpip.Ip.S with type ipaddr = Ipaddr.V4.t and type prefix = Ipaddr.V4.Prefix.t
   val connect : Network.t -> E.t -> Arp.t -> t Lwt.t
     (** Connect to an ipv4 device using information from a DHCP lease. *)
 end

From 1d35e91ad459bcb4028564e01385a747720ef059 Mon Sep 17 00:00:00 2001
From: Hannes Mehnert <hannes@mehnert.org>
Date: Fri, 6 Dec 2024 11:09:52 +0100
Subject: [PATCH 2/2] charrua-client: adjust lower tcpip bound to 8.1.0

---
 charrua-client.opam | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/charrua-client.opam b/charrua-client.opam
index 4ee3dfe..9498dd2 100644
--- a/charrua-client.opam
+++ b/charrua-client.opam
@@ -34,7 +34,7 @@ depends: [
   "fmt"
   "ethernet" {>= "3.0.0"}
   "arp" {>= "3.0.0"}
-  "tcpip" {>= "7.0.0"}
+  "tcpip" {>= "8.1.0"}
   "lwt" {>= "4.0.0"}
 ]
 build: [