TIMESTAMP = 1745477497
SHA256 (picoLisp-25.3.tgz) = c5bd5159e66fe6c6e78a20d9b145b87999cd27cb197eba3cfd2634c0476f01e1
SIZE (picoLisp-25.3.tgz) = 1097638