abcd391a114af7bd9c9635db7b7f812b miniini-0.7.1-doc.tar.gz