Update sources (#1772)

* Update sources * wip --------- Co-authored-by: UpdateBot <ulrikstrid@users.noreply.github.com>
nix-ocaml · Nov 21, 2024 · c910b55 · c910b55
1 parent 19de283
commit c910b55
Show file tree

Hide file tree

Showing 3 changed files with 6 additions and 5 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=0705964c881cea8896474610188905ba41b59b08";
+    nixpkgs.url = "github:NixOS/nixpkgs?rev=bf2dfaa7c788045039aeb544d36015601126b848";
     flake-utils.url = "github:numtide/flake-utils";
   };
 

diff --git a/ocaml/default.nix b/ocaml/default.nix
@@ -1311,6 +1311,7 @@ with oself;
       hash = "sha256-N0rtBuxoHg45BqTf+aR8f6SfCEtiFVAspDgWfSkjH6w=";
       fetchSubmodules = true;
     };
+    patches = [ ];
     doCheck = false;
   });