SHA256 (swipl-9.2.3.tar.gz) = KDKQOVJqk8EKFgvlx9kMpPt9FRTkoAmghSxtI3KS5yQ=
SIZE (swipl-9.2.3.tar.gz) = 12265133
