http://www.mirrorservice.org/sites/ftp.redsleeve.org/pub/el7-devel/el7/raspberrypi http://ftp.redsleeve.org/pub/el7-devel/el7/raspberrypi http://ftp.nluug.nl/os/Linux/distr/redsleeve/el7-devel/el7/raspberrypi