Update opam file

Signed-off-by: Patrick Ferris <[email protected]>

Author: patricoferris

vpnkit.opam

@@ -50,7 +50,6 @@ depends: [
   "mirage-entropy" {>= "0.5.0"}
   "mirage-kv" {>= "4.0.0" & < "6.0.0"}
   "mirage-net" {>= "4.0.0"}
-  "mirage-time" {>= "3.0.0"}
   "mirage-channel" {>= "4.0.1"}
   "cohttp-lwt" {>= "0.99.0"}
   "protocol-9p" {>= "2.0.2"}
@@ -60,9 +59,8 @@ depends: [
   "ezjsonm" {>= "0.4.0"}
   "sha" {with-test}
   "stringext"
-  "mirage-clock" {>= "4.0.0"}
-  "mirage-clock-unix" {>= "4.0.0"}
-  "mirage-random" {>= "3.0.0"}
+  "mirage-sleep" {>= "4.0.0"}
+  "mirage-mtime" {>= "5.0.0"}
   "re" {>= "1.9.0"}
   "ppx_inline_test"
 ]
@@ -72,3 +70,7 @@ HyperKit is a hypervisor which runs on macOS using the "hypervisor.framework".
 VPNKit implements a virtual ethernet device for HyperKit VMs in a VPN-friendly
 way, by terminating and proxying all the TCP flows, caching and forwarding
 DNS requests etc. HyperKit and VPNKit are used in Docker for Mac and Windows."""
+pin-depends:[
+  "hvsock.dev"      "git+https://github.com/patricoferris/ocaml-hvsock#addfc643a4d784b95540a7e3148db74e3943758d"
+  "protocol-9p.dev" "git+https://github.com/patricoferris/ocaml-9p#2d512928b4dc06c28a9a171e0163b59c19155495"
+]