Update after NixOS/nixpkgs#349174

coq-community · Oct 17, 2024 · 4f99710 · 4f99710
1 parent 9116a59
commit 4f99710
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/stepbrobd/nixpkgs/archive/a3dcd5276b9920dd9bf6cacff7ccb621b346d65d.tar.gz;
-         sha256 = "1rmw5pyk5l0ssr96kj68j5znwzfimr5f1w942x989m86yq2h9pav";
-       }
+    url = https://github.com/NixOS/nixpkgs/archive/6d685d67289afaff9f6a09a05a01cbc825d1bc9c.tar.gz;
+    sha256 = "1h92q7q0sgbknn7pcqp12h3c6qxmii49j05mw8093gfkkrdnjq1q";
+  }