OCaml 5.2.1

Update after NixOS/nixpkgs#359654
coq-community · Dec 2, 2024 · 9645246 · 9645246
1 parent 858ff8d
commit 9645246
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/.nix/nixpkgs.nix b/.nix/nixpkgs.nix
@@ -1,4 +1,4 @@
 fetchTarball {
-    url = "https://github.com/NixOS/nixpkgs/archive/14d8890fb9edffcfe0aaa296ffc44547c7be04ab.tar.gz";
-    sha256 = "0zy5dav7mqlkx9vg1dvd1889nglnc4pws58r5pcwm9mn8qnh2r8r";
+    url = "https://github.com/NixOS/nixpkgs/archive/ae9345434903630a96a383a4a414be585f578185.tar.gz";
+    sha256 = "1cpjj4h0s2zlpcdwl1nsz51ffj9rw4nhgj2bs0fj9d0shn29qk0v";
   }