../ spim_8.0+dfsg-ok1.debian.tar.xz 27-Jul-2022 22:26 8924 spim_8.0+dfsg-ok1.dsc 27-Jul-2022 22:26 1856 spim_8.0+dfsg-ok1_amd64.deb 28-Jul-2022 01:45 248040 spim_8.0+dfsg-ok1_arm64.deb 18-Jan-2023 21:35 238908 spim_8.0+dfsg-ok1_i386.deb 24-Oct-2023 14:45 196544 spim_8.0+dfsg-ok1_riscv64.deb 09-Aug-2022 07:10 239920 spim_8.0+dfsg.orig.tar.bz2 27-Jul-2022 22:26 248518