TIMESTAMP = 1587312848
SHA256 (swipl-8.2.3.tar.gz) = 9403972f9d87f1f4971fbd4a5644b4976b1b18fc174be84506c6b713bd1f9c93
SIZE (swipl-8.2.3.tar.gz) = 10999577