../ picolisp_3.1.8.0-4.debian.tar.xz 03-Oct-2014 02:34 8984 picolisp_3.1.8.0-4.dsc 03-Oct-2014 02:34 2281 picolisp_3.1.8.0-4_amd64.deb 03-Oct-2014 02:34 737K picolisp_3.1.8.0-4_i386.deb 03-Oct-2014 03:40 711K picolisp_3.1.8.0.orig.tar.gz 01-Oct-2014 23:45 861K