mathcomp-analysis 1.5.0

coq-community · Oct 14, 2024 · b2bf432 · b2bf432
1 parent e31be6f
commit b2bf432
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/782c8b0451119555e47038daccf7621c5dd67950.tar.gz;
-    sha256 = "1rya6w2b3ynmdm9dzh391z2di6a85i6k4lpvlynmxzaqjbxia7ry";
-  }
+         url = https://github.com/vbgl/nixpkgs/archive/2b1179f9f22329546455ed62132cf1a98927ea11.tar.gz;
+         sha256 = "00b4qrqp9p3wzi221zhj3ajkn6sdmv8a1hsi9hpcmbwhi5yq9apq";
+       }