From d4a3db22bdc584a94cae86a70ad071a892044332 Mon Sep 17 00:00:00 2001
From: Christian Helmuth <christian.helmuth@genode-labs.com>
Date: Mon, 14 Oct 2019 09:09:00 +0200
Subject: [PATCH] solo5: migrate snapshot archive to genode.org

---
 repos/libports/ports/solo5.hash | 2 +-
 repos/libports/ports/solo5.port | 4 +---
 2 files changed, 2 insertions(+), 4 deletions(-)

diff --git a/repos/libports/ports/solo5.hash b/repos/libports/ports/solo5.hash
index 35076bb9c1..d1a8dd00b6 100644
--- a/repos/libports/ports/solo5.hash
+++ b/repos/libports/ports/solo5.hash
@@ -1 +1 @@
-9d1dcd38b2f71a7e8062ceb13072d17ec725a536
+55dd4fb026c0d4a7cc192c8228e4a6344f5781ef
diff --git a/repos/libports/ports/solo5.port b/repos/libports/ports/solo5.port
index efe35889b5..f2320e7876 100644
--- a/repos/libports/ports/solo5.port
+++ b/repos/libports/ports/solo5.port
@@ -2,10 +2,8 @@ LICENSE   := ISC
 VERSION   := HEAD
 DOWNLOADS := solo5.archive
 
-OWNER := ehmry
-REPO  := solo5
 REV   := 7dca1a677f548ea0bc911a209f34ceb55d8f10fd
-URL(solo5) := https://github.com/$(OWNER)/$(REPO)/archive/$(REV).tar.gz
+URL(solo5) := https://genode.org/files/solo5-$(REV).tar.gz
 SHA(solo5) := 87a8e8e047bc6fffe0384f1cbb2bfde1e4c88c545287899be29444ec9a4d6b95
 DIR(solo5) := src/lib/solo5