MD5 (mico-2.3.11.tar.gz) = 669d98ec5da2f6c50937a2a25e797eec
MD5 (doc-html.tar.gz) = f32f618cfb2da541efd5dba50c3e2273