Latest version of it.unich.jgmp:jgmp
https://javadoc.io/doc/it.unich.jgmp/jgmp
Current version 1.0.1
https://javadoc.io/doc/it.unich.jgmp/jgmp/1.0.1
package-list path (used for javadoc generation -link option)
https://javadoc.io/doc/it.unich.jgmp/jgmp/1.0.1/package-list