paco 4.2.2

coq-community · Jan 14, 2025 · cfa2fd4 · cfa2fd4
1 parent 15528c3
commit cfa2fd4
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/f84e2fa942d3098ab31bda444e41061acdf9028c.tar.gz";
-    sha256 = "09v029axqqf8fcgy09qvnbxzpr58343yh7pa8k01m3z82rr4ha5h";
-  }
+         url = https://github.com/vbgl/nixpkgs/archive/3d531f72c861ec46078c88d18720227462e3b46b.tar.gz;
+         sha256 = "1vpycq61032brzyfqlwg0all6ck41wgngblsjrrvc4yhmaz4k332";
+       }