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