ftp://ftp.redhat.com/pub/redhat/linux/
"7.2"ってディレクトリができてるね。入れないけど。