SHA256 (swipl-7.2.3.tar.gz) = 43657d51b7c5887bc2d2bced50a9822b86a08a6841399b8e76ee877f51d646b5
SIZE (swipl-7.2.3.tar.gz) = 16192142