From 002f5765220c7b4df4fbf4c2cc100499fb00dcc9 Mon Sep 17 00:00:00 2001
From: David Scott <dave@recoil.org>
Date: Thu, 13 Oct 2022 15:27:11 +0100
Subject: [PATCH] tcpip: pin to a branch with experimental MTU/MSS fixes:

- https://github.com/mirage/mirage-tcpip/pull/492 : remove 4000 byte maximum
- https://github.com/mirage/mirage-tcpip/pull/493 : avoid stall with large MSS

Signed-off-by: David Scott <dave@recoil.org>
---
 vpnkit.opam | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/vpnkit.opam b/vpnkit.opam
index 1c5b6ef27..dc8d47ed0 100644
--- a/vpnkit.opam
+++ b/vpnkit.opam
@@ -67,6 +67,9 @@ depends: [
   "re" {>= "1.9.0"}
   "ppx_inline_test"
 ]
+pin-depends: [
+ [ "tcpip.7.1.2~dev" "git+https://github.com/djs55/mirage-tcpip.git#fb633c59b7301005887d41e37e3276465e4a6994" ]
+]
 synopsis: "VPN-friendly networking devices for HyperKit"
 description: """
 HyperKit is a hypervisor which runs on macOS using the "hypervisor.framework".