coq 8.19.2

Update after NixOS/nixpkgs#318799
coq-community · Jun 18, 2024 · 5814f77 · 5814f77
1 parent 816e3aa
commit 5814f77
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/47195c4d6939e518b3755ec74995866cc4af27af.tar.gz;
-    sha256 = "1vjsyd4n0c44hz5nsnlqri7b8lirwrqrs0aimsgbimq8ryzwn767";
+    url = https://github.com/NixOS/nixpkgs/archive/f7ff7d4e9b2d589f80ca85a91e4423f76444c2d8.tar.gz;
+    sha256 = "1393hfrl7c7r89kdznwhwgn9mpn6vhff9byvkwrp5qhbb9njhh1x";
   }