Debian-formatted gpl3