Manuel Mendez 31d6802773 gnatboot: rename to gnat-bootstrap ... Most other bootstrap compilers are named -bootstrap so lets follow that pattern.		2023-04-15 18:52:14 -04:00
..
default.nix	gnatboot: rename to gnat-bootstrap	2023-04-15 18:52:14 -04:00