From 9ebe79cf8ac5b05b951aad3c45d996454931dae0 Mon Sep 17 00:00:00 2001
From: Philipp Ruemmer <ph_r@gmx.net>
Date: Mon, 15 Nov 2021 11:59:56 +0100
Subject: [PATCH] updated version 2.0.7

---
 build.sbt             | 8 +++++---
 src/lazabs/Main.scala | 2 +-
 2 files changed, 6 insertions(+), 4 deletions(-)

diff --git a/build.sbt b/build.sbt
index 23deda35..f4eb139b 100644
--- 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
index cb6b63c6..3d0cb558 100644
--- 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 {