=> Bootstrap dependency digest>=20010302: found digest-20190127
=> Fetching minisat-2.2.0.tar.gz
=> Total size: 43879 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
100 43879  100 43879    0     0  76980      0 --:--:-- --:--:-- --:--:-- 76845
100 43879  100 43879    0     0  76577      0 --:--:-- --:--:-- --:--:-- 76444
=> Checksum SHA1 OK for minisat-2.2.0.tar.gz
=> Checksum RMD160 OK for minisat-2.2.0.tar.gz
=> Checksum SHA512 OK for minisat-2.2.0.tar.gz