../ spass_3.7-3.debian.tar.gz 16-Aug-2011 05:05 3469 spass_3.7-3.dsc 16-Aug-2011 05:05 932 spass_3.7-3_mips64el.deb 30-Aug-2015 13:18 1M spass_3.7-3_mipsel.deb 17-Aug-2011 17:03 2M spass_3.7.orig.tar.gz 28-Jun-2010 03:32 1M