elpi 2.0.7 (#308)

Update after NixOS/nixpkgs#3373663
coq-community · Jan 14, 2025 · 15528c3 · 15528c3
1 parent 98bf866
commit 15528c3
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/ac8941d77fc7945fd5addc021fe9a93f1a27d09c.tar.gz";
-    sha256 = "1z14lx03na0q59rhidasnsx3g3r3y0fxay2q4l4pg6lnny8547xy";
+    url = "https://github.com/NixOS/nixpkgs/archive/f84e2fa942d3098ab31bda444e41061acdf9028c.tar.gz";
+    sha256 = "09v029axqqf8fcgy09qvnbxzpr58343yh7pa8k01m3z82rr4ha5h";
   }