=> Bootstrap dependency digest>=20211023: found digest-20220214
=> Fetching fricas-1.3.5-full.tar.bz2
=> Total size: 10477848 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
 40  9.9M   40 4185k    0     0  3377k      0  0:00:03  0:00:01  0:00:02 3386k
100  9.9M  100  9.9M    0     0  7373k      0  0:00:01  0:00:01 --:--:-- 7387k
Warning: Got more output options than URLs
=> Checksum BLAKE2s OK for fricas-1.3.5-full.tar.bz2
=> Checksum SHA512 OK for fricas-1.3.5-full.tar.bz2
=> Checksum BLAKE2s OK for fricas-1.3.5-full.tar.bz2
=> Checksum SHA512 OK for fricas-1.3.5-full.tar.bz2