GNUBoot
/
coreboot-kgpe-d16
2
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
coreboot-kgpe-d16/util/nixshell
History
Felix Singer 61b90b173d 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>
 		2022-08-18 17:03:10 +00:00
..
documentation.nix
…
toolchain.nix util/nixshell/toolchain: Update GNAT to version 12 2022-08-18 17:03:10 +00:00