Debian package files for casa