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

Author: gares

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

@@ -67,7 +67,7 @@ let
       {
         case = "8.20";
         out = {
-          version = "2.0.6";
+          version = "2.0.7";
         };
       }
     ] { }