../ picolisp_16.12-1+b1_i386.deb 26-Apr-2023 16:26 782K picolisp_16.12-1.debian.tar.xz 26-Apr-2023 16:26 10K picolisp_16.12-1.dsc 26-Apr-2023 16:26 2281 picolisp_16.12.orig.tar.gz 26-Apr-2023 16:26 961K