=> Bootstrap dependency digest>=20211023: found digest-20220214
=> Checksum BLAKE2s OK for AdaCore-alt-ergo-be23b7992464438d6b654d9e36e6917748862130.tar.gz
=> Checksum SHA512 OK for AdaCore-alt-ergo-be23b7992464438d6b654d9e36e6917748862130.tar.gz
=> Checksum BLAKE2s OK for AdaCore-cvc5-98b5fb70e8a94fd258bfc959c4a6fd0cc3537564.tar.gz
=> Checksum SHA512 OK for AdaCore-cvc5-98b5fb70e8a94fd258bfc959c4a6fd0cc3537564.tar.gz
=> Checksum BLAKE2s OK for AdaCore-why3-52b6a590ba9bfc64aa0d22b41715358f26124a1f.tar.gz
=> Checksum SHA512 OK for AdaCore-why3-52b6a590ba9bfc64aa0d22b41715358f26124a1f.tar.gz
=> Checksum BLAKE2s OK for AdaCore-z3-7e79f0deb7c9d43f7637113be5b99391f14fcc2e.tar.gz
=> Checksum SHA512 OK for AdaCore-z3-7e79f0deb7c9d43f7637113be5b99391f14fcc2e.tar.gz
=> Checksum BLAKE2s OK for gcc-13.3.0.tar.xz
=> Checksum SHA512 OK for gcc-13.3.0.tar.xz
=> Checksum BLAKE2s OK for spark2014-12db22e854defa9d1c993ef904af1e72330a68ca.tar.gz
=> Checksum SHA512 OK for spark2014-12db22e854defa9d1c993ef904af1e72330a68ca.tar.gz