Download location was not changed, just the file had a bad name once downloaded (downloader.php?&file=mame0140s.zip instead of mame0140s.zip).
Looks like wget changed default behaviour on redirections. Adding the --trust-server-names option fixed it. Weird. I didn't bother to rebuild the package on ppa as I only changed the get-orig-source target in debian/rules. Thanks for pointing this out. It completely slipped through. Cesare. ** Attachment added: "mame_0.140-0ubuntu1.debian.tar.gz" https://bugs.launchpad.net/ubuntu/+source/mame/+bug/671358/+attachment/1734840/+files/mame_0.140-0ubuntu1.debian.tar.gz ** Changed in: mame (Ubuntu) Status: Incomplete => Confirmed ** Changed in: mame (Ubuntu) Assignee: Cesare Falco (c.falco) => (unassigned) -- [upgrade] New upstream release 0.140 https://bugs.launchpad.net/bugs/671358 You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
