Debian package files for ppgplot