=> Bootstrap dependency digest>=20211023: found digest-20220214
=> Fetching fricas-1.3.13-full.tar.bz2
=> Total size: 10997314 bytes
=> Checksum BLAKE2s OK for fricas-1.3.13-full.tar.bz2
=> Checksum SHA512 OK for fricas-1.3.13-full.tar.bz2
=> Checksum BLAKE2s OK for fricas-1.3.13-full.tar.bz2
=> Checksum SHA512 OK for fricas-1.3.13-full.tar.bz2