../ picolisp_23.2-1.debian.tar.xz 08-Feb-2023 12:22 7740 picolisp_23.2-1.dsc 08-Feb-2023 12:22 1969 picolisp_23.2-1_amd64.deb 08-Feb-2023 13:13 1164796 picolisp_23.2-1_arm64.deb 08-Feb-2023 12:58 1142904 picolisp_23.2.orig.tar.gz 08-Feb-2023 12:22 1121736