TIMESTAMP = 1740441596
SHA256 (swipl-9.2.9.tar.gz) = 53f428e2d9bbdf30e53b06c9c42def9a13ff82fc36a111d410fc8b0bc889ee2d
SIZE (swipl-9.2.9.tar.gz) = 12321115
