MD5 (splint-3.1.2.src.tgz) = JfR9cL2ci93fawPeWUnE/Q==
RMD160 (splint-3.1.2.src.tgz) = Uul4bTy+qkN4d6M7GOQrMt/zuWs=
SHA1 (splint-3.1.2.src.tgz) = DfSJyyKNz/+xSbOMV2FMLD4gBQE=
SHA256 (splint-3.1.2.src.tgz) = x422Q99mMxPj+p1WURg5GCXdk3YXgZxu/HlmzfRE+wo=
SIZE (splint-3.1.2.src.tgz) = 2284033
