Merge pull request coq-community#274 from vbgl/paco-4.2.1

paco 4.2.2
proux01 · Jan 17, 2025 · d716829 · d716829
2 parents a24e6f4 + 0a3a8b6
commit d716829
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/0bda27c93d0ba6ef5fae7e916f4c4691571e0471.tar.gz";
-    sha256 = "1cah2rsz4xfxab3y8dkp7x7xan7k1ppqn0maivv45753dy3jdbsb";
+    url = "https://github.com/NixOS/nixpkgs/archive/c97cbc1c98e3515de6e61cff429def14b05399de.tar.gz";
+    sha256 = "08bhgpp5q80wicqa5s6whv45157b8ld33ky1hisa81hmipjg3bwk";
   }