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 /util/nixshell | |
| 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 'util/nixshell')
| -rw-r--r-- | util/nixshell/toolchain.nix | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/util/nixshell/toolchain.nix b/util/nixshell/toolchain.nix index da252f268a..08b55980e1 100644 --- a/util/nixshell/toolchain.nix +++ b/util/nixshell/toolchain.nix @@ -8,7 +8,7 @@ stdenvNoCC.mkDerivation { curl flex git - gnat11 + gnat12 gnumake patch zlib |