../ picolisp_3.1.8.0-4.debian.tar.xz 27-Sep-2017 12:57 8984 picolisp_3.1.8.0-4.dsc 27-Sep-2017 12:57 2281 picolisp_3.1.8.0-4_amd64.deb 27-Sep-2017 12:45 737K picolisp_3.1.8.0-4_i386.deb 27-Sep-2017 15:44 711K picolisp_3.1.8.0.orig.tar.gz 27-Sep-2017 12:57 861K