../ starjava-topcat_4.8.7-3.debian.tar.xz 17-Jan-2023 19:03 31316 starjava-topcat_4.8.7-3.dsc 17-Jan-2023 19:04 2694 starjava-topcat_4.8.7.orig.tar.xz 21-Dec-2022 22:58 6747724 starlink-topcat-java-doc_4.8.7-3_all.deb 17-Jan-2023 18:29 569912 starlink-topcat-java_4.8.7-3_all.deb 17-Jan-2023 18:45 11135412 topcat-doc_4.8.7-3_all.deb 17-Jan-2023 19:51 7157072 topcat_4.8.7-3_all.deb 17-Jan-2023 20:06 10060