Update .nix/coq-overlays/coq-elpi/default.nix

math-comp · Jan 15, 2025 · 0f44bc8 · 0f44bc8
1 parent 37368af
commit 0f44bc8
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
@@ -67,7 +67,7 @@ let
       {
         case = "8.20";
         out = {
-          version = "2.0.6";
+          version = "2.0.7";
         };
       }
     ] { }