../ clasp_3.1.0-1.debian.tar.xz 27-Sep-2017 12:04 6352 clasp_3.1.0-1.dsc 27-Sep-2017 12:04 1994 clasp_3.1.0-1_amd64.deb 27-Sep-2017 11:55 448K clasp_3.1.0-1_i386.deb 27-Sep-2017 15:34 452K clasp_3.1.0.orig.tar.gz 27-Sep-2017 12:04 503K