4.0.0 uuverifiers princess_2.11 jar Princess 2019-07-24-assertionless Princess uuverifiers org.scala-lang scala-library 2.11.12 uuverifiers princess-parser_2.11 2019-07-24-assertionless uuverifiers princess-smt-parser_2.11 2019-07-24-assertionless org.scala-lang.modules scala-parser-combinators_2.11 1.0.4 net.sf.squirrel-sql.thirdparty-non-maven java-cup 0.11a