[toolchain]
profile="default"
channel="1.72.0"