Test NixOS/nixpkgs#374505

coq-community · Jan 17, 2025 · 001b21d · 001b21d
1 parent d716829
commit 001b21d
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/NixOS/nixpkgs/archive/c97cbc1c98e3515de6e61cff429def14b05399de.tar.gz";
-    sha256 = "08bhgpp5q80wicqa5s6whv45157b8ld33ky1hisa81hmipjg3bwk";
-  }
+         url = "https://github.com/proux01/nixpkgs/archive/3aad97d5facc942f1b51b65d668ac907bbc098dd.tar.gz";
+         sha256 = "01niwrn1pq3ica33j1agl54dzhqhzkp87h9khp0dla8pfs62x3dl";
+       }