../ glulxe_0.5.4-1.1.debian.tar.xz 29-Nov-2022 22:12 3584 glulxe_0.5.4-1.1.dsc 29-Nov-2022 22:12 1602 glulxe_0.5.4-1.1_armhf.deb 13-Dec-2022 10:08 78568 glulxe_0.5.4-1.diff.gz 12-Oct-2019 22:12 3240 glulxe_0.5.4-1.dsc 12-Oct-2019 22:12 1814 glulxe_0.5.4-1_armhf.deb 07-May-2020 16:08 77616 glulxe_0.5.4.orig.tar.gz 12-Oct-2019 22:12 93822