4.0.0 uuverifiers princess_2.12 jar Princess 2020-04-22-assertionless Princess uuverifiers org.scala-lang scala-library 2.12.10 uuverifiers princess-parser_2.12 2020-04-22-assertionless uuverifiers princess-smt-parser_2.12 2020-04-22-assertionless org.scala-lang.modules scala-parser-combinators_2.12 1.0.4 net.sf.squirrel-sql.thirdparty-non-maven java-cup 0.11a