Attention is currently required from: Martin L Roth. Hello Martin L Roth, build bot (Jenkins), I'd like you to reexamine a change. Please visit https://review.coreboot.org/c/coreboot/+/77191?usp=email to look at the new patch set (#3). 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. The coreboot toolchain including GNAT still compiles fine. Change-Id: Ifb2b4c5fbaf3c0a8a78f6ebe244e2ccfec664b41 Signed-off-by: Felix Singer <felixsinger@posteo.net> --- 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/3 -- To view, visit https://review.coreboot.org/c/coreboot/+/77191?usp=email To unsubscribe, or for help writing mail filters, visit https://review.coreboot.org/settings Gerrit-Project: coreboot Gerrit-Branch: master Gerrit-Change-Id: Ifb2b4c5fbaf3c0a8a78f6ebe244e2ccfec664b41 Gerrit-Change-Number: 77191 Gerrit-PatchSet: 3 Gerrit-Owner: Felix Singer <service+coreboot-gerrit@felixsinger.de> Gerrit-Reviewer: Martin L Roth <gaumless@gmail.com> Gerrit-Reviewer: build bot (Jenkins) <no-reply@coreboot.org> Gerrit-Attention: Martin L Roth <gaumless@gmail.com> Gerrit-MessageType: newpatchset