Debian package for dist: Tools for developing, maintaining and distributing software