coreboot-kgpe-d16/util/docker
Felix Singer bbb2f30ba5 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.

The coreboot toolchain including GNAT still compiles fine.

Change-Id: Ifb2b4c5fbaf3c0a8a78f6ebe244e2ccfec664b41
Signed-off-by: Felix Singer <felixsinger@posteo.net>
Reviewed-on: https://review.coreboot.org/c/coreboot/+/77191
Tested-by: build bot (Jenkins) <no-reply@coreboot.org>
Reviewed-by: Martin L Roth <gaumless@gmail.com>
2023-08-20 21:51:19 +00:00
..
alpine util/docker: Add Alpine Dockerfile 2023-06-14 12:43:32 +00:00
archlinux util/docker: Add Dockerfile for Arch Linux 2023-05-17 19:55:18 +00:00
coreboot-jenkins-node coreboot-jenkins-node/Dockerfile: Upgrade lua5 from lua5.3 to lua5.4 2023-08-04 20:55:45 +00:00
coreboot-jenkins-test util/docker: Update coreboot-sdk-test to coreboot-jenkins-test 2023-08-04 20:53:47 +00:00
coreboot-sdk util/docker/coreboot-sdk: Install an explicit version of GNAT 2023-08-20 21:51:19 +00:00
coreboot.org-status kconfig2html: Denote that the script is python3 2022-12-02 08:34:14 +00:00
doc.coreboot.org util/docker: Update dockerfiles 2022-05-31 13:41:56 +00:00
description.md util: Update description files 2022-05-30 13:05:21 +00:00
Makefile util/docker: Add docker-jenkins-shell target 2023-08-15 16:49:12 +00:00