ocamlPackages.elpi: 2.0.5 -> 2.0.6

coq-community · Dec 13, 2024 · 76c44f0 · 76c44f0
1 parent 1a48a58
commit 76c44f0
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/77f2b0312b7302c3fe515a320412f14a46bc0483.tar.gz";
+         sha256 = "00qzna154cfi3igk0vg5v23jc8xin1gds9pynlvzl4fffl73m8qn";
+       }