Debian package files for astlib