4.0.0 uuverifiers princess_2.12 jar Princess 2018-07-09-assertionless Princess uuverifiers org.scala-lang scala-library 2.12.6 uuverifiers princess-parser_2.12 2018-07-09-assertionless uuverifiers princess-smt-parser_2.12 2018-07-09-assertionless org.scala-lang.modules scala-parser-combinators_2.12 1.0.4 net.sf.squirrel-sql.thirdparty-non-maven java-cup 0.11a