TIMESTAMP = 1709778650
SHA256 (swipl-9.2.2.tar.gz) = 896fd51196fd3becd574486da75a924f272e8d63332459292b305986cf101fc3
SIZE (swipl-9.2.2.tar.gz) = 12249775
