../ 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_amd64.deb 23-Oct-2016 23:30 1003546 spass_3.7-4_i386.deb 23-Oct-2016 23:41 962002 spass_3.7.orig.tar.gz 27-Jun-2010 19:32 1340925