TIMESTAMP = 1708416014
SHA256 (picoLisp-23.12.tgz) = a0633c191c813ae7e6b595713b68979273ddd68c4b6508a2fdb02f0c7bb60aae
SIZE (picoLisp-23.12.tgz) = 1089366
