TIMESTAMP = 1666010095
SHA256 (swipl-8.4.1.tar.gz) = 30bb6542b7767e47b94bd92e8e8a7d7a8a000061044046edf45fc864841b69c4
SIZE (swipl-8.4.1.tar.gz) = 11386908