=> Bootstrap dependency digest>=20211023: found digest-20220214
=> Checksum BLAKE2s OK for idris2-0.7.0.tar.gz
=> Checksum SHA512 OK for idris2-0.7.0.tar.gz
===> Installing dependencies for idris2-0.7.0
=> Tool dependency mktools-[0-9]*: found mktools-20220614
=> Tool dependency gmake>=3.81: found gmake-4.4.1
=> Tool dependency cwrappers>=20150314: found cwrappers-20220403
=> Tool dependency checkperms>=1.1: found checkperms-1.12
=> Full dependency chezscheme-[0-9]*: found chezscheme-10.0.0
=> Full dependency gmp>=5.0.1: found gmp-6.3.0
===> Overriding tools for idris2-0.7.0
===> Extracting for idris2-0.7.0
===> Patching for idris2-0.7.0
===> Creating toolchain wrappers for idris2-0.7.0