=> Bootstrap dependency digest>=20211023: found digest-20220214
=> Fetching idris2-0.6.0.tgz
=> Total size: 3669129 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 3583k  100 3583k    0     0  7868k      0 --:--:-- --:--:-- --:--:-- 7909k
Warning: Got more output options than URLs
=> Checksum BLAKE2s OK for idris2-0.6.0.tgz
=> Checksum SHA512 OK for idris2-0.6.0.tgz
=> Checksum BLAKE2s OK for idris2-0.6.0.tgz
=> Checksum SHA512 OK for idris2-0.6.0.tgz