Latest version of ai.mantik:elements_2.12
https://javadoc.io/doc/ai.mantik/elements_2.12
Current version 0.3.1-rc2
https://javadoc.io/doc/ai.mantik/elements_2.12/0.3.1-rc2
package-list path (used for javadoc generation -link option)
https://javadoc.io/doc/ai.mantik/elements_2.12/0.3.1-rc2/package-list