diff options
author | Felix Singer <felixsinger@posteo.net> | 2022-08-17 17:38:35 +0200 |
---|---|---|
committer | Felix Singer <felixsinger@posteo.net> | 2022-08-18 17:03:10 +0000 |
commit | 61b90b173d2f4e958c04e0a0467812f76c10034c (patch) | |
tree | 007cca5ab9c5f7ad851a8132f582c0beb59a6609 /src/include | |
parent | 665476df2bf16c84ccf7037bde67d76cc0604673 (diff) |
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>
Diffstat (limited to 'src/include')
0 files changed, 0 insertions, 0 deletions