spim_8.0+dfsg-6.1_amd64.deb
spim_8.0+dfsg-7_amd64.deb
spim_8.0+dfsg-8build1_amd64.deb