TIMESTAMP = 1494498445
SHA256 (swipl-7.4.2.tar.gz) = 7f17257da334bc1e7a35e9cf5cb8fca01d82f1ea406c7ace76e9062af8f0df8b
SIZE (swipl-7.4.2.tar.gz) = 16496738