Merge pull request #310 from proux01/coq_8_20_1

coq: 8.20.0 -> 8.20.1
coq-community · Jan 17, 2025 · 82da08d · 82da08d
2 parents d716829 + 9a4cb83
commit 82da08d
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/c97cbc1c98e3515de6e61cff429def14b05399de.tar.gz";
-    sha256 = "08bhgpp5q80wicqa5s6whv45157b8ld33ky1hisa81hmipjg3bwk";
+    url = "https://github.com/NixOS/nixpkgs/archive/32acaa2689c010f24acc3755f97fb9dafc76f05a.tar.gz";
+    sha256 = "0frsjmz3ndgq1hk4k8aaq1nvy67sxrm6bhz0kxzlp5f6xd682d7q";
   }