TIMESTAMP = 1751748423
SHA256 (picoLisp-25.6.tgz) = 6d6eb2c77d32568f69400e25b24e342de3df04d9675ed0ce75377ecd28e12133
SIZE (picoLisp-25.6.tgz) = 1104680