TIMESTAMP = 1511536003
SHA256 (swipl-7.6.2.tar.gz) = fc102697c5ab60639997e147b1f0a8e1b2b29632de747cc8f8fe566889b1f6aa
SIZE (swipl-7.6.2.tar.gz) = 16765119