1 2
SHA256 (swipl-7.2.2.tar.gz) = c137bbe1d652a6aaa003278045e592637cd9fd5f1d52b05f9f0751bfd9449c8d SIZE (swipl-7.2.2.tar.gz) = 16179490