[XS] Change in coreboot[master]: util/docker/coreboot-sdk: Install an explicit version of GNAT

[Felix Singer (Code Review)]

Felix Singer has uploaded this change for review. ( https://review.coreboot.org/c/coreboot/+/77191?usp=email )

Change subject: util/docker/coreboot-sdk: Install an explicit version of GNAT
......................................................................

util/docker/coreboot-sdk: Install an explicit version of GNAT

While Debian Sid provides GCC version 13, GNAT is still on version 12.
To keep them in sync, install GNAT 13 explicitly instead of the meta
package that is still referring to GNAT 12.

Change-Id: Ifb2b4c5fbaf3c0a8a78f6ebe244e2ccfec664b41
Signed-off-by: Felix Singer 
---
M util/docker/coreboot-sdk/Dockerfile
1 file changed, 1 insertion(+), 1 deletion(-)

git pull ssh://review.coreboot.org:29418/coreboot refs/changes/91/77191/1

diff --git a/util/docker/coreboot-sdk/Dockerfile b/util/docker/coreboot-sdk/Dockerfile
index cccd1ac..2405838 100644
--- a/util/docker/coreboot-sdk/Dockerfile
+++ b/util/docker/coreboot-sdk/Dockerfile
@@ -35,7 +35,7 @@
    	gawk \
    	gcc \
    	git \
-		gnat \
+		gnat-13 \
    	golang \
    	graphicsmagick-imagemagick-compat \
    	graphviz \