../ clasp_3.1.0-1.debian.tar.xz 18-Aug-2014 13:55 6352 clasp_3.1.0-1.dsc 18-Aug-2014 13:55 1994 clasp_3.1.0-1_armhf.deb 29-Aug-2014 11:10 351470 clasp_3.1.0.orig.tar.gz 18-Aug-2014 13:55 515019