Update to latest Alectryon master.

coq-community · Aug 29, 2021 · acb4519 · acb4519
1 parent c4cac20
commit acb4519
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/Zimmi48/nixpkgs/archive/5addba8675aa31463adc3fa4dce96f22774b87f2.tar.gz;
-         sha256 = "0zvklz35nlk8f4x0b4ilfwbhlhqyricg2ilghb8x43crvhb1zx32";
+         url = https://github.com/Zimmi48/nixpkgs/archive/b454dafa6170cdd170d7513b845fe9eea05ad77c.tar.gz;
+         sha256 = "0fasks1d1afg48zwfp1952w54wz5jkk07mgp5mr3ca240npfchpq";
        }