SHA256 (irstlm-5.80.03.tgz) = 500c64e90cae73c2f06ed34ad078423cc100f4e16e6dd98a9e466b17367d31e7
SIZE (irstlm-5.80.03.tgz) = 146287