nix

LPCIC · Jan 26, 2024 · ee76019 · ee76019
1 parent e541ca3
commit ee76019
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.nix/coq-overlays/coq-elpi/default.nix b/.nix/coq-overlays/coq-elpi/default.nix
@@ -10,7 +10,7 @@ with builtins; with lib; let
     { case = "8.16"; out = { version = "1.17.0"; };}
     { case = "8.17"; out = { version = "1.17.0"; };}
     { case = "8.18"; out = { version = "v1.18.1"; };}
-    { case = "8.19"; out = { version = "v1.18.1"; };}
+    { case = "8.19"; out = { version = "v1.18.2"; };}
   ] {} );
 in mkCoqDerivation {
   pname = "elpi";