Latest version of fr.lip6.pnml:fr.lip6.pnml.check
https://javadoc.io/doc/fr.lip6.pnml/fr.lip6.pnml.check
Current version 1.1.0
https://javadoc.io/doc/fr.lip6.pnml/fr.lip6.pnml.check/1.1.0
package-list path (used for javadoc generation -link option)
https://javadoc.io/doc/fr.lip6.pnml/fr.lip6.pnml.check/1.1.0/package-list