../ starjava-registry_1.2+2019.07.12-1.debian.tar.xz 01-Aug-2019 23:13 11084 starjava-registry_1.2+2019.07.12-1.dsc 01-Aug-2019 23:13 2285 starjava-registry_1.2+2019.07.12.orig.tar.xz 01-Aug-2019 23:13 21764 starlink-registry-java-doc_1.2+2019.07.12-1_all..> 01-Aug-2019 23:18 275628 starlink-registry-java_1.2+2019.07.12-1_all.deb 01-Aug-2019 23:18 73604