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	util/nixshell: Add a Nix shell for building documentation	2022-02-22 10:31:41 +00:00
toolchain.nix	…