From 6b69e520bd4787564489ca6223ab16e5683050fc Mon Sep 17 00:00:00 2001
From: Cas Cremers <cas.cremers@gmail.com>
Date: Sun, 12 Feb 2023 23:01:39 +0100
Subject: [PATCH] Updating URL in README.

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

diff --git a/README.md b/README.md
index 85a17c4..c90be84 100644
--- a/README.md
+++ b/README.md
@@ -4,9 +4,9 @@ The Scyther tool repository
 This README describes the organization of the repository of the Scyther
 tool for security protocol analysis. Its intended audience are
 interested users and future developers of the Scyther tool, as well as
-protocol modelers. For installation and usage instructions of the
+protocol modelers. For installation, usage instructions, and pre-built binaries of the
 Scyther tool see:
-<https://people.cispa.io/cas.cremers/scyther/>.
+<https://cispa.saarland/group/cremers/scyther/index.html>.
 
 Installing from source
 ----------------------