MD5 (splint-3.1.2.src.tgz) = 25f47d70bd9c8bdddf6b03de5949c4fd
SHA256 (splint-3.1.2.src.tgz) = c78db643df663313e3fa9d565118391825dd937617819c6efc7966cdf444fb0a
SIZE (splint-3.1.2.src.tgz) = 2284033