updated version 2.0.7

uuverifiers · Nov 15, 2021 · 9ebe79c · 9ebe79c
1 parent 85c3a20
commit 9ebe79c
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 4 deletions.
diff --git a/build.sbt b/build.sbt
@@ -141,8 +141,10 @@ lazy val root = (project in file(".")).
     libraryDependencies +=
       "org.scala-lang.modules" %% "scala-xml" % "1.3.0",
 //
-    resolvers += ("uuverifiers" at "http://logicrunch.research.it.uu.se/maven/").withAllowInsecureProtocol(true),
-//    libraryDependencies += "uuverifiers" %% "princess" % "2021-03-10"
-    libraryDependencies += "uuverifiers" %% "princess" % "nightly-SNAPSHOT"
+    libraryDependencies += "io.github.uuverifiers" %% "princess" % "2021-11-15"
+//
+//    resolvers += ("uuverifiers" at "http://logicrunch.research.it.uu.se/maven/").withAllowInsecureProtocol(true),
+//    libraryDependencies += "uuverifiers" %% "princess" % "nightly-SNAPSHOT"
+
 )
 //
diff --git a/src/lazabs/Main.scala b/src/lazabs/Main.scala
@@ -283,7 +283,7 @@ object Main {
 
 
   val greeting =
-    "Eldarica v2.0.6.\n(C) Copyright 2012-2021 Hossein Hojjat and Philipp Ruemmer"
+    "Eldarica v2.0.7.\n(C) Copyright 2012-2021 Hossein Hojjat and Philipp Ruemmer"
 
   def doMain(args: Array[String],
              stoppingCond : => Boolean) : Unit = try {