>>> From devel/jenkins/devel
===> Trying https://get.jenkins.io/war/2.551/
/usr/bin/ftp -C -v -o /exopi-cvs/ports/distfiles/jenkins/2.551/jenkins.war.part https://get.jenkins.io/war/2.551/jenkins.war
Trying 128.24.70.119...
Requesting https://get.jenkins.io/war/2.551/jenkins.war
Redirected to https://ftp.halifax.rwth-aachen.de/jenkins/war/2.551/jenkins.war
Trying 137.226.34.46...
Requesting https://ftp.halifax.rwth-aachen.de/jenkins/war/2.551/jenkins.war
97232515 bytes received in 1.65 seconds (55.89 MB/s)
checksum for /exopi-cvs/ports/distfiles/jenkins/2.551/jenkins.war.part: OK
Renamed to /exopi-cvs/ports/distfiles/jenkins/2.551/jenkins.war