The choice of `gnat-6` was originally an optimization because the meta-package `gnat` installs not only the current GNAT version but also other unwanted (and hard to explain) dependencies. Later it was necessary because GCC 8 couldn't compile our older crossgcc.
Now that we switched crossgcc to GCC 8.1, `gnat` should be fine.
b133c61a91 coreboot-sdk: Prefer gnat package over gnat-6
util/docker/coreboot-sdk/Dockerfile | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)