dune: remove mirage-profile and mirage-clock

djs55 · djs55 · commit eb52beae37f5 · 2025-07-05T13:17:15.000+01:00
Signed-off-by: David Scott &lt;dave@recoil.org&gt;
diff --git a/src/dns_lwt/dune b/src/dns_lwt/dune
@@ -1,4 +1,4 @@
 (library
   (name        dns_lwt)
-  (libraries   dns lwt mirage-profile)
+  (libraries   dns lwt)
   (wrapped     false))
diff --git a/src/hostnet/dune b/src/hostnet/dune
@@ -7,7 +7,7 @@
    tcpip.tcp tcpip.stack-direct charrua charrua-server dns dns_lwt ofs luv
    luv_unix lwt.unix threads astring fs9p dns_forward tar
    mirage-vnetif uuidm cohttp-lwt mirage-channel ezjsonm
-   duration mirage-time mirage-clock
+   duration mirage-time
    tcpip.checksum forwarder cstructs sha)
  (foreign_stubs (language c) (names stubs_utils))
  (wrapped false))
