From 51757d7af130e58fe24f8781c70f08130e373812 Mon Sep 17 00:00:00 2001 From: "Isabell (Issy) Long" Date: Fri, 26 Apr 2019 19:59:34 +0100 Subject: [PATCH] rdesktop: change mirror URL to deb.debian.org --- Formula/rdesktop.rb | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Formula/rdesktop.rb b/Formula/rdesktop.rb index 8c3c52a50b..ab96bf7ae5 100644 --- a/Formula/rdesktop.rb +++ b/Formula/rdesktop.rb @@ -2,7 +2,7 @@ class Rdesktop < Formula desc "UNIX client for connecting to Windows Remote Desktop Services" homepage "https://www.rdesktop.org/" url "https://downloads.sourceforge.net/project/rdesktop/rdesktop/1.8.3/rdesktop-1.8.3.tar.gz" - mirror "https://mirrors.kernel.org/debian/pool/main/r/rdesktop/rdesktop_1.8.3.orig.tar.gz" + mirror "https://deb.debian.org/debian/pool/main/r/rdesktop/rdesktop_1.8.3.orig.tar.gz" sha256 "88b20156b34eff5f1b453f7c724e0a3ff9370a599e69c01dc2bf0b5e650eece4" revision 1