TIMESTAMP = 1517836115
SHA256 (swipl-7.6.4.tar.gz) = 2d3d7aabd6d99a02dcc2da5d7604e3500329e541c6f857edc5aa06a3b1267891
SIZE (swipl-7.6.4.tar.gz) = 16777875