Jared Baur f52c368f17 coreboot-toolchain: Unpin gnat ... Gnat11 is currently broken, but I cannot find anywhere in coreboot's build instructions that gnat should be pinned at 11, so switch the toolchain from using gnat11 to gnat, which is currently version 12.		2023-09-15 13:04:08 -07:00
..
default.nix	coreboot-toolchain: Unpin gnat	2023-09-15 13:04:08 -07:00
stable.nix
update.sh