Latest version of dev.jmina:jmina
https://javadoc.io/doc/dev.jmina/jmina
Current version 0.1.3
https://javadoc.io/doc/dev.jmina/jmina/0.1.3
package-list path (used for javadoc generation -link option)
https://javadoc.io/doc/dev.jmina/jmina/0.1.3/package-list