tag 403424 + patch thanks control@ BBC'd Hi,
first of all, thanks for your bugreport. It looks like a renaming step has been forgotten. After something like the following command, both packages look like containing the appropriate files: cd /debian; rename s/sdljump/gnujump/ sdljump* Cheers, -- Cyril Brulebois
pgphQ81gkVAnW.pgp
Description: PGP signature