If depopt dns is used, it must be at least 0.10.0

findlib name dns.mirage minted for 0.10.0