Am 16.11.2012 11:32, schrieb Jon Dowland:
I've just put some initial packaging work at git+ssh://git.debian.org/git/pkg-games/prboom+.git
I have currently started improving the packaging a bit and found the package name really confusing and distracting. Could we please rename the package to "prboom-plus" just as upstream calls the project itself? We could, of course, keep the symlinks to "prboom+" binary and manpage, but as a Debian package name I find it really unsuitable.
- Fabian