>>> From math/z3
===> Trying https://github.com/
/usr/bin/ftp -C -v -o /exopi-cvs/ports/distfiles/Z3Prover-z3-z3-5.0.0.tar.gz.part https://github.com/Z3Prover/z3/archive/refs/tags/z3-5.0.0.tar.gz
Trying 140.82.121.4...
Requesting https://github.com/Z3Prover/z3/archive/refs/tags/z3-5.0.0.tar.gz
Redirected to https://codeload.github.com/Z3Prover/z3/tar.gz/refs/tags/z3-5.0.0
Trying 140.82.121.9...
Requesting https://codeload.github.com/Z3Prover/z3/tar.gz/refs/tags/z3-5.0.0
6777317 bytes received in 0.95 seconds (6.79 MB/s)
checksum for /exopi-cvs/ports/distfiles/Z3Prover-z3-z3-5.0.0.tar.gz.part: OK
Renamed to /exopi-cvs/ports/distfiles/Z3Prover-z3-z3-5.0.0.tar.gz