../ picolisp_19.12-1.debian.tar.xz 02-Jan-2020 17:28 10128 picolisp_19.12-1.dsc 02-Jan-2020 17:28 1885 picolisp_19.12-1_amd64.deb 02-Jan-2020 17:28 824392 picolisp_19.12.orig.tar.gz 02-Jan-2020 17:28 1018982