Merge pull request coq-community#302 from proux01/elpi206

Test ocamlPackages.elpi: 2.0.5 -> 2.0.6
proux01 · Dec 16, 2024 · fb3515f · fb3515f
2 parents 1a48a58 + 6a7a3a7
commit fb3515f
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/629830c8ffc7d1b34533a6ebebde0eaec0c5c941.tar.gz";
-    sha256 = "0m0jbfww57lk45cd1rsv0v112ybxiwhqpqwmw73wixq2r3r30ki6";
+    url = "https://github.com/NixOS/nixpkgs/archive/d337b780d0469c31c8bc756be3ee52240a3c2f4b.tar.gz";
+    sha256 = "0m9lh7024qb3pppsn1hnk9r4ifgiwd7s365fdza145vngd5nb2na";
   }