summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* dev-ada/gprbuild: amd64 stable wrt bug #800527Agostino Sarubbo2021-07-201-1/+1
* dev-ada/gprbuild: use ADAMIRROR & IDAlfredo Tupone2021-06-021-4/+5
* dev-ada/gprbuild: fix gnat discoveryAlfredo Tupone2021-05-311-0/+76