GNUBoot
/
coreboot-kgpe-d16
2
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

util/nixshell/toolchain: Update GNAT to version 12 

Change-Id: I308dc7640e16b7cfb7679d81099d8896f3f454fc
Signed-off-by: Felix Singer <felixsinger@posteo.net>
Reviewed-on: https://review.coreboot.org/c/coreboot/+/66835
Tested-by: build bot (Jenkins) <no-reply@coreboot.org>
Reviewed-by: Michael Niewöhner <foss@mniewoehner.de>
This commit is contained in:
Felix Singer 2022-08-17 17:38:35 +02:00
parent 665476df2b
commit 61b90b173d
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
util/nixshell/toolchain.nix
View File

@ -8,7 +8,7 @@ stdenvNoCC.mkDerivation {
curl
flex
git
gnat11
gnat12
gnumake
patch
zlib