>>> From math/z3
===> Trying https://github.com/Z3Prover/z3/archive/refs/tags/z3-5.3.3/
/usr/bin/ftp -C -v -o /exopi-cvs/ports/distfiles/z3-5.3.3.tar.gz.part https://github.com/Z3Prover/z3/archive/refs/tags/z3-5.3.3/z3-5.3.3.tar.gz
Trying 20.250.119.67...
Requesting https://github.com/Z3Prover/z3/archive/refs/tags/z3-5.3.3/z3-5.3.3.tar.gz
Redirected to https://codeload.github.com/Z3Prover/z3/tar.gz/refs/tags/z3-5.3.3
Trying 20.250.119.71...
Requesting https://codeload.github.com/Z3Prover/z3/tar.gz/refs/tags/z3-5.3.3
11145529 bytes received in 0.82 seconds (12.95 MB/s)
checksum for /exopi-cvs/ports/distfiles/z3-5.3.3.tar.gz.part: OK
Renamed to /exopi-cvs/ports/distfiles/z3-5.3.3.tar.gz