tree 8698e20e2d7d5ece62bd1a97c6f7b304a940d6ba
parent 08601b29aa44c51e35bb8f30596d667c008f6d66
author Felix Singer <felixsinger@posteo.net> 1687726778 +0200
committer Felix Singer <service+coreboot-gerrit@felixsinger.de> 1687887627 +0000

util/docker/coreboot-sdk: Install GNAT meta package instead gnat-12

The versions of both GCC and GNAT need to be in sync and the meta
package for GCC is already used. So use the meta package for GNAT as
well.

Change-Id: Ifcd6960731bc02c70a510e520b385ca300caf88f
Signed-off-by: Felix Singer <felixsinger@posteo.net>
Reviewed-on: https://review.coreboot.org/c/coreboot/+/76086
Tested-by: build bot (Jenkins) <no-reply@coreboot.org>
Reviewed-by: Elyes Haouas <ehaouas@noos.fr>