From e37c7056cf6c3232c27b0027c36de5e3a31c477a Mon Sep 17 00:00:00 2001
From: Cyril Cohen <cohen@crans.org>
Date: Wed, 14 Aug 2024 12:06:04 +0200
Subject: [PATCH] fix

---
 .nix/coq-overlays/coq-elpi/default.nix | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/.nix/coq-overlays/coq-elpi/default.nix b/.nix/coq-overlays/coq-elpi/default.nix
index 0c4eef4..372cef1 100644
--- 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";