bootstrap	digest>=20211023	../../pkgtools/digest
tool	mktools-[0-9]*	../../pkgtools/mktools
tool	nbpatch-[0-9]*	../../devel/nbpatch
tool	cwrappers>=20150314	../../pkgtools/cwrappers