Debian package files for casacore