[DEFAULT]

[toolchain_path]
root     = /opt/ada
selected = /opt/ada/selected
default  = /opt/ada/default

[default_version]
gnat      = 15.1.0-2
gnatprove = 15.1.0-1
gprbuild  = 25.0.0-1

[toolchains]
gnat      = 12.2.0-1  14.2.0-1  15.1.0-2
gnatprove = 12.1.0-1  14.1.0-1  15.1.0-1
gprbuild  = 22.0.0-1  24.0.0-2  25.0.0-1