Merge pull request #123 from coq-community/hierarchy-builder-1.4.0

Testing hierarchy-builder 1.4.0
coq-community · Sep 30, 2022 · 84cb9c4 · 84cb9c4
2 parents 4f0eb19 + 4f6f1cc
commit 84cb9c4
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/da40187bfff90bbd53d3d74f8c852594509be2dd.tar.gz;
-    sha256 = "1bv8spx94h82rlmlmzj6ipkppi3gzhjk23xb4g8pk4lsjdvrf8cz";
+    url = https://github.com/NixOS/nixpkgs/archive/8039b055f8ef0693724a9909145f3daf5d762da5.tar.gz;
+    sha256 = "0fj4mqlnax8ivggs40fc1hkybv49f78nwiy6ikwmqr4sqkk50dxp";
   }