../ picolisp_16.12-1+b1_amd64.deb 17-Mar-2017 10:45 825486 picolisp_16.12-1+b1_i386.deb 17-Mar-2017 09:43 801172 picolisp_16.12-1.debian.tar.xz 11-Dec-2016 07:46 10264 picolisp_16.12-1.dsc 11-Dec-2016 07:46 2281 picolisp_16.12.orig.tar.gz 11-Dec-2016 07:46 983744