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