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