directory-network mina 0.7 0.8.2 0.7 0.7.1 0.7.2 0.7.3 0.7.4 0.8.0 0.8.1 0.9.0 0.8.2