../ picolisp_18.12-1.debian.tar.xz 27-Mar-2020 22:17 9940 picolisp_18.12-1.dsc 27-Mar-2020 22:17 1882 picolisp_18.12-1_amd64.deb 27-Mar-2020 22:17 831K picolisp_18.12-1_arm64.deb 27-Mar-2020 22:17 842K picolisp_18.12-1_i386.deb 27-Mar-2020 22:17 808K picolisp_18.12.orig.tar.gz 27-Mar-2020 22:17 989K