../ spass_3.7-4.debian.tar.xz 23-Oct-2016 20:43 3468 spass_3.7-4.dsc 23-Oct-2016 20:43 1985 spass_3.7-4_armhf.deb 30-Oct-2016 10:08 783K spass_3.7.orig.tar.gz 19-Apr-2012 03:30 1M spass_3.9-1.1.debian.tar.xz 21-Jan-2021 16:15 3944 spass_3.9-1.1.dsc 21-Jan-2021 16:15 2002 spass_3.9-1.1_armhf.deb 06-Feb-2021 16:08 196K spass_3.9.orig.tar.gz 29-Apr-2020 10:30 547K