Bump coq-elpi versions

VojtechStep · VojtechStep · commit 349188283efa · 2025-01-07T17:15:39.000+01:00
diff --git a/.nix/coq-overlays/coq-elpi/default.nix b/.nix/coq-overlays/coq-elpi/default.nix
@@ -67,7 +67,7 @@ let
       {
         case = "8.20";
         out = {
-          version = "1.19.2";
+          version = "2.0.6";
         };
       }
     ] { }
@@ -81,7 +81,7 @@ in
   defaultVersion = lib.switch coq.coq-version [
     {
       case = "8.20";
-      out = "2.2.0";
+      out = "#737";
     }
     {
       case = "8.19";

Original file line number	Diff line number	Diff line change
`@@ -67,7 +67,7 @@ let`
`67`	`67`	`{`
`68`	`68`	`case = "8.20";`
`69`	`69`	`out = {`
`70`		`- version = "1.19.2";`
	`70`	`+ version = "2.0.6";`
`71`	`71`	`};`
`72`	`72`	`}`
`73`	`73`	`] { }`
`@@ -81,7 +81,7 @@ in`
`81`	`81`	`defaultVersion = lib.switch coq.coq-version [`
`82`	`82`	`{`
`83`	`83`	`case = "8.20";`
`84`		`- out = "2.2.0";`
	`84`	`+ out = "#737";`
`85`	`85`	`}`
`86`	`86`	`{`
`87`	`87`	`case = "8.19";`