=> Bootstrap dependency digest>=20010302: found digest-20190127
=> Fetching z3-solver-4.8.9.0.tar.gz
=> Total size: 4503933 bytes
  % Total    % Received % Xferd  Average Speed   Time    Time     Time  Current
                                 Dload  Upload   Total   Spent    Left  Speed

  0     0    0     0    0     0      0      0 --:--:-- --:--:-- --:--:--     0
  0     0    0     0    0     0      0      0 --:--:-- --:--:-- --:--:--     0

  0 4398k    0 14732    0     0  16515      0  0:04:32 --:--:--  0:04:32 16515
 37 4398k   37 1645k    0     0  1340k      0  0:00:03  0:00:01  0:00:02 4855k
100 4398k  100 4398k    0     0  2455k      0  0:00:01  0:00:01 --:--:-- 4876k
=> Checksum SHA1 OK for z3-solver-4.8.9.0.tar.gz
=> Checksum RMD160 OK for z3-solver-4.8.9.0.tar.gz
=> Checksum SHA512 OK for z3-solver-4.8.9.0.tar.gz