fix

math-comp · Aug 14, 2024 · e37c705 · e37c705
1 parent 273285b
commit e37c705
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/.nix/coq-overlays/coq-elpi/default.nix b/.nix/coq-overlays/coq-elpi/default.nix
@@ -10,8 +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.19"; out = { version = "1.19.4"; };}
-    { case = "8.20"; out = { version = "1.19.4"; };}
+    { case = "8.19"; out = { version = "1.18.1"; };}
+    { case = "8.20"; out = { version = "1.19.2"; };}
   ] { version = "v1.19.4"; } );
 in (mkCoqDerivation {
   pname = "elpi";