../ starjava-topcat_4.8.7-3.debian.tar.xz 21-Dec-2022 11:53 31316 starjava-topcat_4.8.7-3.dsc 21-Dec-2022 11:53 2694 starjava-topcat_4.8.7.orig.tar.xz 07-Oct-2022 20:48 6747724 starlink-topcat-java-doc_4.8.7-3_all.deb 21-Dec-2022 13:04 569912 starlink-topcat-java_4.8.7-3_all.deb 21-Dec-2022 13:04 11135412 topcat-doc_4.8.7-3_all.deb 21-Dec-2022 13:04 7157072 topcat_4.8.7-3_all.deb 21-Dec-2022 13:04 10060