From e9578bcffd4465bf673293f0091dd0d2adf6198a Mon Sep 17 00:00:00 2001
From: Cas Cremers <cas.cremers@gmail.com>
Date: Sun, 12 Feb 2023 23:08:29 +0100
Subject: [PATCH] Updating some obsolete URLs.

---
 gui/Changelog.txt | 2 +-
 gui/Gui/About.py  | 5 ++---
 gui/README.md     | 2 +-
 src/switches.c    | 2 +-
 4 files changed, 5 insertions(+), 6 deletions(-)

diff --git a/gui/Changelog.txt b/gui/Changelog.txt
index d48d51b..1b8e65b 100644
--- a/gui/Changelog.txt
+++ b/gui/Changelog.txt
@@ -73,7 +73,7 @@ Major new features:
 
 Additional protocol models:
 
-See <https://people.cispa.io/cas.cremers/tools/protocols.html> for a
+See <https://cispa.saarland/group/cremers/tools/protocols.html> for a
 more high-level overview of selected protocol models.
 
  * IEEE 802.16e/WIMAX: PKMv2rsa and variants
diff --git a/gui/Gui/About.py b/gui/Gui/About.py
index 404a829..c600999 100644
--- a/gui/Gui/About.py
+++ b/gui/Gui/About.py
@@ -65,13 +65,12 @@ class AboutScyther(wx.Dialog):
     </p>
     <p>
         For news and updates visit the Scyther pages at 
-        <a target="_blank" href="https://people.cispa.io/cas.cremers/scyther/index.html">
-        https://people.cispa.io/cas.cremers/scyther/index.html</a>
+        <a target="_blank" href="https://cispa.saarland/group/cremers/scyther/index.html">https://cispa.saarland/group/cremers/scyther/index.html</a>
     </p>
     <h5>License</h5>
     <p>
         Scyther : An automatic verifier for security protocols.<br>
-        Copyright (C) 2007-2020 Cas Cremers
+        Copyright (C) 2007-2023 Cas Cremers
     </p>
     <p>
         This program is free software; you can redistribute it and/or
diff --git a/gui/README.md b/gui/README.md
index 7334b81..9665ffa 100644
--- a/gui/README.md
+++ b/gui/README.md
@@ -3,7 +3,7 @@ The Scyther tool
 
 Scyther is a tool for the symbolic analysis of security protocols. It is
 developed by Cas Cremers, and is available from
-<https://people.cispa.io/cas.cremers/scyther/index.html>.
+<https://cispa.saarland/group/cremers/scyther/index.html>.
 
 The below instructions apply only to the *distribution version* of
 the Scyther tool. If you are working from the source files, some paths may be
diff --git a/src/switches.c b/src/switches.c
index e01042b..0143e75 100644
--- a/src/switches.c
+++ b/src/switches.c
@@ -1856,7 +1856,7 @@ process_switches (int commandline)
 	  printf ("Try '%s --help' for more information, or visit:\n",
 		  progname);
 	  printf
-	    (" https://people.cispa.io/cas.cremers/scyther/\n");
+	    (" https://cispa.saarland/group/cremers/scyther/index.html\n");
 	  exit (0);
 	}
       else