Age | Commit message (Expand) | Author |
---|---|---|
2023-08-23 | Merge pull request #226179 from amjoseph-nixpkgs/pr/gnat-bootstrap/cleanup | Adam Joseph |
2023-04-28 | gnat-bootstrap: add meta.sourceProvenance | Adam Joseph |
2023-04-16 | gnat-bootstrap: parameterize better | Adam Joseph |
2023-04-15 | gnatboot: rename to gnat-bootstrap | Manuel Mendez |