No worries! Thanks for working on the stable releases! I just reuploaded the exact same 25.0.0+11+deb10u1 source package as before, I hope that works!