MD5 (Maude-2.3.tar.gz) = 7625750cf0ebba34506daf1802fbe49a
SHA256 (Maude-2.3.tar.gz) = 67e88d8440fafc67e1121139de496c70844279291e37ba9bee369d113a92fddb
SIZE (Maude-2.3.tar.gz) = 1441239