From 61b90b173d2f4e958c04e0a0467812f76c10034c Mon Sep 17 00:00:00 2001
From: Felix Singer <felixsinger@posteo.net>
Date: Wed, 17 Aug 2022 17:38:35 +0200
Subject: [PATCH] util/nixshell/toolchain: Update GNAT to version 12
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

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>
---
 util/nixshell/toolchain.nix | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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