Test ocamlPackages.elpi: add 1.18.2

coq-community · Oct 30, 2024 · 7ce1e3a · 7ce1e3a
1 parent 37d20f7
commit 7ce1e3a
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/9850a3dbb17e57f499acc1f65cf5705597e590f4.tar.gz;
-    sha256 = "0aajvgr5m0fnmchjcg5bh1yvm9jm3spslp9r8aab36vp3mk5gp1c";
+    url = https://github.com/NixOS/nixpkgs/archive/05e3b3d344c2bb880135da1b1c29be318af330be.tar.gz;
+    sha256 = "16dskf4w99b55dz9w36g567lv49jvrsqp1dfl0paczy6pafpagbi";
   }