Ubuntu
mame package

  1. Bug #671358
  2. Comment #7

Comment 7 for bug 671358

Revision history for this message
Cesare Falco (c.falco) wrote : Re: [upgrade] New upstream release 0.140

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.