../ starjava-pal_1.0.1+2020.10.01-1.debian.tar.xz 06-Nov-2020 17:18 3828 starjava-pal_1.0.1+2020.10.01-1.dsc 06-Nov-2020 17:18 2218 starjava-pal_1.0.1+2020.10.01.orig.tar.xz 06-Nov-2020 17:18 70756 starlink-pal-java-doc_1.0.1+2020.10.01-1_all.deb 06-Nov-2020 17:28 278600 starlink-pal-java_1.0.1+2020.10.01-1_all.deb 06-Nov-2020 17:28 72112