TIMESTAMP = 1771400918
SHA256 (picoLisp-25.12.tgz) = c9ba1da43e1267ffad1e835f201ee9d9c2737ce9c84497420f696067b20e9b80
SIZE (picoLisp-25.12.tgz) = 1340615
