TIMESTAMP = 1725955998
SHA256 (picoLisp-24.6.tgz) = 912245a1a47714c6bf7e456f119272c0dd1faf263b55cec1cc23da3b5b0a0222
SIZE (picoLisp-24.6.tgz) = 1090284