../ starjava-pal_1.0.1+2020.10.01-1.debian.tar.xz 06-Nov-2020 15:26 3828 starjava-pal_1.0.1+2020.10.01-1.dsc 06-Nov-2020 15:26 2218 starjava-pal_1.0.1+2020.10.01.orig.tar.xz 06-Nov-2020 15:26 70756 starlink-pal-java-doc_1.0.1+2020.10.01-1_all.deb 06-Nov-2020 15:56 278564 starlink-pal-java_1.0.1+2020.10.01-1_all.deb 06-Nov-2020 15:56 72080