From d86895f08b8a3ef3cc33e9383ae82cc2834aba8f Mon Sep 17 00:00:00 2001
From: Philipp Ruemmer <ph_r@gmx.net>
Date: Sun, 28 Jan 2024 22:20:49 +0100
Subject: [PATCH] URLs

---
 README.md | 6 ++----
 1 file changed, 2 insertions(+), 4 deletions(-)

diff --git a/README.md b/README.md
index 80e29f47..31931474 100644
--- a/README.md
+++ b/README.md
@@ -22,9 +22,7 @@ with further contributions by Zafer Esen, Filip Konecny, and Pavle Subotic.
 
 There is a simple **web interface** to experiment with the C interface
 of Eldarica:
-http://logicrunch.it.uu.se:4096/~wv/eldarica
-
-The latest **nightly build** is available from: http://logicrunch.it.uu.se:4096/~wv/eldarica/eldarica-bin-nightly.zip
+https://eldarica.org/eldarica
 
 Documentation
 -------------
@@ -44,7 +42,7 @@ When using a binary release, one can instead also call
 
   <code>java -jar target/scala-2.\*/Eldarica-assembly\*.jar regression-tests/horn-smt-lib/rate_limiter.c.nts.smt2</code>
 
-A set of examples is provided on http://logicrunch.it.uu.se:4096/~wv/eldarica, and included
+A set of examples is provided on https://eldarica.org/eldarica, and included
 in the distributions directory <code>regression-tests</code>.
 
 You can use the script <code>eld-client</code> instead of