MD5 (mico-2.3.10.tar.gz) = 0f27a8d66bc57100d762302cdf4868bf
MD5 (doc-html.tar.gz) = f32f618cfb2da541efd5dba50c3e2273