Latest version of io.github.uuverifiers:princess-smt-parser_2.12
https://javadoc.io/doc/io.github.uuverifiers/princess-smt-parser_2.12
Current version 2024-03-22
https://javadoc.io/doc/io.github.uuverifiers/princess-smt-parser_2.12/2024-03-22
package-list path (used for javadoc generation -link option)
https://javadoc.io/doc/io.github.uuverifiers/princess-smt-parser_2.12/2024-03-22/package-list