rdesktop: change mirror URL to deb.debian.org

This commit is contained in:
Isabell (Issy) Long 2019-04-26 19:59:34 +01:00 committed by FX Coudert
parent ae3edb6d19
commit 51757d7af1

View file

@ -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