4.0.0 uuverifiers princess_2.12 jar Princess 2017-12-06 Princess uuverifiers org.scala-lang scala-library 2.12.4 uuverifiers princess-parser_2.12 2017-12-06 uuverifiers princess-smt-parser_2.12 2017-12-06 org.scala-lang.modules scala-parser-combinators_2.12 1.0.4 net.sf.squirrel-sql.thirdparty-non-maven java-cup 0.11a