summaryrefslogtreecommitdiffstats
path: root/pkgs/development/compilers/gnat-bootstrap
AgeCommit message (Expand)Author
2023-08-23Merge pull request #226179 from amjoseph-nixpkgs/pr/gnat-bootstrap/cleanupAdam Joseph
2023-04-28gnat-bootstrap: add meta.sourceProvenanceAdam Joseph
2023-04-16gnat-bootstrap: parameterize betterAdam Joseph
2023-04-15gnatboot: rename to gnat-bootstrapManuel Mendez