Test coq: keep compiling master

coq-community · Dec 20, 2024 · 519a34d · 519a34d
1 parent fb3515f
commit 519a34d
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/d337b780d0469c31c8bc756be3ee52240a3c2f4b.tar.gz";
-    sha256 = "0m9lh7024qb3pppsn1hnk9r4ifgiwd7s365fdza145vngd5nb2na";
-  }
+         url = "https://github.com/proux01/nixpkgs/archive/30fde47468f0a34a5147a024802d86b5edac2ab0.tar.gz";
+         sha256 = "1s89ssrpbbq620p1war6v1f8ihf1f06ndw3shimwk3a8c1nzx7qx";
+       }