=> Bootstrap dependency digest>=20211023: found digest-20220214
=> Fetching thmtools.doc.r63477.tar.xz
=> Total size: 263988 bytes
=> Checksum BLAKE2s OK for thmtools.doc.r63477.tar.xz
=> Checksum SHA512 OK for thmtools.doc.r63477.tar.xz