elpi 2.0.5

coq-community · Dec 6, 2024 · 4936098 · 4936098
1 parent 42db98f
commit 4936098
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/c702d50a632d36226b302bfa312aacdfc0c9706f.tar.gz";
-    sha256 = "0zwl32ka51i97yz7b4vir2vb4xbcpmd0irwyayjgm93lly2v2ygh";
-  }
+         url = "https://github.com/vbgl/nixpkgs/archive/c9f7ce81c74a09729837bef339881919d6e618e0.tar.gz";
+         sha256 = "1i3a586pp0gqrmri2fhpf2q6hdxk3vwcgd93gnm14g0qazrpsc13";
+       }