ocamlPackages.elpi: 2.0.5 -> 2.0.6

coq-community · Dec 13, 2024 · dd1a4e1 · dd1a4e1
1 parent 1a48a58
commit dd1a4e1
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/629830c8ffc7d1b34533a6ebebde0eaec0c5c941.tar.gz";
-    sha256 = "0m0jbfww57lk45cd1rsv0v112ybxiwhqpqwmw73wixq2r3r30ki6";
-  }
+         url = "https://github.com/proux01/nixpkgs/archive/ea27f40ced90be742a1247e0e8ec30b90135860d.tar.gz";
+         sha256 = "1iv54cvlhb2xac4ns69w2rc83zqxmirjfyy2nrajh6mwfk627mnp";
+       }