../ picolisp_23.12-1.debian.tar.xz 26-Dec-2023 11:43 7828 picolisp_23.12-1.dsc 26-Dec-2023 11:43 1964 picolisp_23.12-1_amd64.deb 26-Dec-2023 12:04 1138752 picolisp_23.12-1_arm64.deb 26-Dec-2023 12:09 1115976 picolisp_23.12.orig.tar.gz 26-Dec-2023 11:43 1089366