../ gnujump-data_1.0.8-3_all.deb 28-May-2020 21:31 1506880 gnujump-data_1.0.8-3build1_all.deb 28-May-2020 17:32 1505956 gnujump_1.0.8-3_amd64.deb 28-May-2020 21:48 54642 gnujump_1.0.8-3build1_amd64.deb 28-May-2020 17:55 56156