fourcolor 1.4.0 (#288)

Update after NixOS/nixpkgs#357923
coq-community · Nov 26, 2024 · b3008c9 · b3008c9
1 parent ebb1f62
commit b3008c9
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/3d20b485d9acfe4290c0296f0d75d7d8d2c2520a.tar.gz;
-    sha256 = "0wqnzfwsxiyn76iv8wwn8z5dh2qb8gbyjpzhy18bn7rbfiq29y7l";
+    url = https://github.com/NixOS/nixpkgs/archive/470e6e641f412894086b6df2f204847bd3905f17.tar.gz;
+    sha256 = "196l018hbmykm6bg82mnzp9qdbcqjm3rhiia4qsvybxd90f1dbb3";
   }