Update sources (#1127)

* Update sources * rm upstreamed? * re-fix hacl-star --------- Co-authored-by: UpdateBot <[email protected]>
nix-ocaml · Oct 26, 2023 · dd0dfa0 · dd0dfa0
1 parent 52f99ba
commit dd0dfa0
Show file tree

Hide file tree

Showing 3 changed files with 5 additions and 8 deletions.
diff --git a/flake.lock b/flake.lock
diff --git a/flake.nix b/flake.nix
@@ -7,7 +7,7 @@
   };
 
   inputs = {
-    nixpkgs.url = "github:NixOS/nixpkgs?rev=0e18a0a0b4092f3f52bacfca3c0db8f7c66702d2";
+    nixpkgs.url = "github:NixOS/nixpkgs?rev=37c290f0203a9eaad110535c923c7e6b4013e801";
     flake-utils.url = "github:numtide/flake-utils";
   };
 

diff --git a/ocaml/default.nix b/ocaml/default.nix
@@ -556,9 +556,6 @@ with oself;
   session-cookie = callPackage ./cookie/session.nix { };
   session-cookie-lwt = callPackage ./cookie/session-lwt.nix { };
 
-  # Not available for 4.12 and breaking the static build
-  cooltt = null;
-
   cry = osuper.cry.overrideAttrs (_: {
     postPatch = ''
       substituteInPlace ./src/dune --replace "bytes" ""