fix

math-comp · Aug 14, 2024 · 273285b · 273285b
1 parent 720ecbc
commit 273285b
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/.nix/coq-overlays/coq-elpi/default.nix b/.nix/coq-overlays/coq-elpi/default.nix
@@ -10,7 +10,8 @@ let
     { case = "8.16"; out = { version = "1.17.0"; };}
     { case = "8.17"; out = { version = "1.17.0"; };}
     { case = "8.18"; out = { version = "1.18.1"; };}
-    { case = "8.20"; out = { version = "1.19.2"; };}
+    { case = "8.19"; out = { version = "1.19.4"; };}
+    { case = "8.20"; out = { version = "1.19.4"; };}
   ] { version = "v1.19.4"; } );
 in (mkCoqDerivation {
   pname = "elpi";