Update after NixOS/nixpkgs#318799

coq-community · Jun 17, 2024 · 1456e55 · 1456e55
1 parent be669b7
commit 1456e55
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/.nix/nixpkgs.nix b/.nix/nixpkgs.nix
@@ -1,4 +1,4 @@
 fetchTarball {
-         url = https://github.com/vbgl/nixpkgs/archive/10c6fb3db4dbbdeffa0c601c5f1d245c9c066d86.tar.gz;
-         sha256 = "1g769lj1y0parry4prhz2hjd6aazgsad9yjskrlxh03lf5jxvvrw";
-       }
+    url = https://github.com/NixOS/nixpkgs/archive/f7ff7d4e9b2d589f80ca85a91e4423f76444c2d8.tar.gz;
+    sha256 = "1393hfrl7c7r89kdznwhwgn9mpn6vhff9byvkwrp5qhbb9njhh1x";
+  }