Update nixpkgs to get latest mirage-crypto.

coq · Oct 22, 2024 · e720713 · e720713
1 parent 9fa2c8e
commit e720713
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/default.nix b/default.nix
@@ -1,6 +1,6 @@
 { pkgs ? import (fetchTarball {
-  url = "https://github.com/NixOS/nixpkgs/archive/280db3decab4cbeb22a4599bd472229ab74d25e1.tar.gz";
-  sha256 = "sha256:17n9wji64l7d16s8r100ypwlxkmwrypll4q3wkkfjswbilxkqjr6";
+  url = "https://github.com/NixOS/nixpkgs/archive/5ea573ca476915e0ccefb99be5687e4150fa049b.tar.gz";
+  sha256 = "0hsg6xjj4iclfrvplsf0rd9xiwkaazvmlp609qiwka65v7wcjja2";
 }) { } }:
 
 pkgs.stdenv.mkDerivation rec {