../ clasp_3.1.0-1.debian.tar.xz 18-Aug-2014 21:55 6352 clasp_3.1.0-1.dsc 18-Aug-2014 21:55 1994 clasp_3.1.0-1_amd64.deb 18-Aug-2014 21:55 448K clasp_3.1.0-1_i386.deb 19-Aug-2014 00:12 452K clasp_3.1.0.orig.tar.gz 18-Aug-2014 21:55 503K