[XS] Change in coreboot[master]: util/nixshell/toolchain: Update GNAT to version 12 - coreboot-gerrit

2 Jul 2023


      Attention is currently required from: Felix Singer.
Elyes Haouas has posted comments on this change. ( https://review.coreboot.org/c/coreboot/+/66835?usp=email )
Change subject: util/nixshell/toolchain: Update GNAT to version 12
......................................................................
Patch Set 2:
(1 comment)
File util/nixshell/toolchain.nix:
https://review.coreboot.org/c/coreboot/+/66835/comment/d954f04c_0d664f61 :
PS2, Line 11: gnat12
maybe change to gnat ?
-- 
To view, visit https://review.coreboot.org/c/coreboot/+/66835?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: I308dc7640e16b7cfb7679d81099d8896f3f454fc
Gerrit-Change-Number: 66835
Gerrit-PatchSet: 2
Gerrit-Owner: Felix Singer service+coreboot-gerrit@felixsinger.de
Gerrit-Reviewer: Felix Singer service+coreboot-gerrit@felixsinger.de
Gerrit-Reviewer: Michael Niewöhner foss@mniewoehner.de
Gerrit-Reviewer: build bot (Jenkins) no-reply@coreboot.org
Gerrit-CC: 9elements QA hardwaretestrobot@gmail.com
Gerrit-CC: Elyes Haouas ehaouas@noos.fr
Gerrit-Attention: Felix Singer service+coreboot-gerrit@felixsinger.de
Gerrit-Comment-Date: Sun, 02 Jul 2023 09:59:51 +0000
Gerrit-HasComments: Yes
Gerrit-Has-Labels: No
Gerrit-MessageType: comment