=> Bootstrap dependency digest>=20211023: found digest-20220214
=> Fetching abc-yosys-0.38.tar.gz
=> Total size: 6142623 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
 36 5998k   36 2193k    0     0  4908k      0  0:00:01 --:--:--  0:00:01 4906k
100 5998k  100 5998k    0     0  8448k      0 --:--:-- --:--:-- --:--:-- 8448k
=> Checksum BLAKE2s OK for abc-yosys-0.38.tar.gz
=> Checksum SHA512 OK for abc-yosys-0.38.tar.gz
=> Fetching yosys-0.38.tar.gz
=> Total size: 2709217 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 2645k  100 2645k    0     0  7427k      0 --:--:-- --:--:-- --:--:-- 7431k
=> Checksum BLAKE2s OK for yosys-0.38.tar.gz
=> Checksum SHA512 OK for yosys-0.38.tar.gz
=> Checksum BLAKE2s OK for abc-yosys-0.38.tar.gz
=> Checksum SHA512 OK for abc-yosys-0.38.tar.gz
=> Checksum BLAKE2s OK for yosys-0.38.tar.gz
=> Checksum SHA512 OK for yosys-0.38.tar.gz