4.0.0 uuverifiers princess_2.11 jar Princess heap-SNAPSHOT Princess uuverifiers org.scala-lang scala-library 2.11.12 uuverifiers princess-parser_2.11 heap-SNAPSHOT uuverifiers princess-smt-parser_2.11 heap-SNAPSHOT org.scala-lang.modules scala-parser-combinators_2.11 1.0.4 net.sf.squirrel-sql.thirdparty-non-maven java-cup 0.11a org.scalatest scalatest_2.11 3.1.0 test