Tomas

I got this problem today as well, but it was because we had typed the wrong version number in the repository field.

@Raprodent thanks for reaching out! If there still is a demand, I would be happy to look into possibly rewriting this tool as some kind of cli that can be...