MD5 (Maude-2.2.tar.gz) = c3b3cadec1ab792a64f0d441e56de15a
SHA256 (Maude-2.2.tar.gz) = 7b85941cb8441eeca23ed3ea291ea6ac9571ce09a9a28a2193e8414b1ca13118
SIZE (Maude-2.2.tar.gz) = 8243200