../ spass_3.7-3.debian.tar.gz 19-Apr-2012 03:30 3469 spass_3.7-3.dsc 19-Apr-2012 03:30 932 spass_3.7-3_armhf.deb 27-Apr-2012 15:43 2064244 spass_3.7.orig.tar.gz 19-Apr-2012 03:30 1340925