summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* dev-lang/gnat-gpl: amd64 stable wrt bug #800527Agostino Sarubbo2021-07-201-1/+1
* dev-lang/gnat-gpl: Change uri for bootstrapAlfredo Tupone2021-05-301-9/+10
* dev-lang/gnat-gpl: version bump to 2021Alfredo Tupone2021-05-291-0/+132