../ starjava-pal_1.0.1+2019.07.12-1.debian.tar.xz 01-Aug-2019 23:13 3720 starjava-pal_1.0.1+2019.07.12-1.dsc 01-Aug-2019 23:13 2218 starjava-pal_1.0.1+2019.07.12.orig.tar.xz 01-Aug-2019 23:13 70720 starlink-pal-java-doc_1.0.1+2019.07.12-1_all.deb 01-Aug-2019 23:18 283092 starlink-pal-java_1.0.1+2019.07.12-1_all.deb 01-Aug-2019 23:18 71988