../ flextra-dbgsym_5.0-16_hppa.deb 26-Jul-2022 12:03 10408 flextra_5.0-16_hppa.buildinfo 26-Jul-2022 12:03 6120 flextra_5.0-16_hppa.deb 26-Jul-2022 12:03 80860