../ spass_3.7-4.debian.tar.xz 24-Oct-2016 05:43 3468 spass_3.7-4.dsc 24-Oct-2016 05:43 1985 spass_3.7-4_armhf.deb 30-Oct-2016 19:08 783K spass_3.7.orig.tar.gz 19-Apr-2012 12:30 1M spass_3.9-1.1.debian.tar.xz 22-Jan-2021 01:15 3944 spass_3.9-1.1.dsc 22-Jan-2021 01:15 2002 spass_3.9-1.1_armhf.deb 07-Feb-2021 01:08 196K spass_3.9.orig.tar.gz 29-Apr-2020 19:30 547K