Test coq: keep compiling master (coq-community#309)

proux01 · Jan 16, 2025 · a24e6f4 · a24e6f4
1 parent 15528c3
commit a24e6f4
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/.nix/nixpkgs.nix b/.nix/nixpkgs.nix
@@ -1,4 +1,4 @@
 fetchTarball {
-    url = "https://github.com/NixOS/nixpkgs/archive/f84e2fa942d3098ab31bda444e41061acdf9028c.tar.gz";
-    sha256 = "09v029axqqf8fcgy09qvnbxzpr58343yh7pa8k01m3z82rr4ha5h";
+    url = "https://github.com/NixOS/nixpkgs/archive/0bda27c93d0ba6ef5fae7e916f4c4691571e0471.tar.gz";
+    sha256 = "1cah2rsz4xfxab3y8dkp7x7xan7k1ppqn0maivv45753dy3jdbsb";
   }