Update after NixOS/nixpkgs#316164

coq-community · May 31, 2024 · 235166e · 235166e
1 parent b6494d4
commit 235166e
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/e2100fd75fd5b8cba6559c440bdc168354c7567d.tar.gz;
-         sha256 = "0xnz2nj8p9g1735k5bj4zv7fbz6i54slh4brvfcdc7g6l8blpcw9";
-       }
+    url = https://github.com/NixOS/nixpkgs/archive/81537e065694b33b0e28632cd105e0d6c576d50b.tar.gz;
+    sha256 = "1nvz7nsdvwmpv5ycyq3vffd6gwvlzwwjcndw80b4z3d77fia5dfk";
+  }