From 4d9951ca9b09fa4df31939cc7a034c73089fb3a8 Mon Sep 17 00:00:00 2001
From: Antonio Nuno Monteiro <anmonteiro@gmail.com>
Date: Thu, 26 Oct 2023 12:58:23 -0700
Subject: [PATCH] re-fix hacl-star

---
 ocaml/default.nix | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/ocaml/default.nix b/ocaml/default.nix
index 1ac5d2554..8254b323f 100644
--- a/ocaml/default.nix
+++ b/ocaml/default.nix
@@ -876,6 +876,12 @@ with oself;
     lib.optionals stdenv.isDarwin [ darwin.apple_sdk.frameworks.Cocoa ];
   });
 
+  hacl-star = osuper.hacl-star.overrideAttrs (_: {
+    postPatch = ''
+      substituteInPlace ./dune --replace "libraries " "libraries ctypes.stubs "
+    '';
+  });
+
   hack_parallel = osuper.hack_parallel.override { sqlite = sqlite-oc; };
 
   h2 = callPackage ./h2 { };