=> Bootstrap dependency digest>=20211023: found digest-20220214
=> Checksum BLAKE2s OK for AdaCore-why3-fsf-14.tar.gz
=> Checksum SHA512 OK for AdaCore-why3-fsf-14.tar.gz
=> Checksum BLAKE2s OK for gcc-14.2.0.tar.xz
=> Checksum SHA512 OK for gcc-14.2.0.tar.xz
=> Checksum BLAKE2s OK for spark2014-fsf-14.tar.gz
=> Checksum SHA512 OK for spark2014-fsf-14.tar.gz