summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* dev-ada/gprbuild: fix source nameAlfredo Tupone2020-06-111-1/+1
* dev-ada/gprbuild: version bump to 2020Alfredo Tupone2020-06-091-0/+2
* dev-ada/gprbuild: remove unused versionTupone Alfredo2019-08-271-2/+0
* dev-ada/gprbuild: New (2019) versionTupone Alfredo2019-06-021-0/+2
* dev-ada/gprbuild: Version bump to dev-ada/gprbuild-2018Tupone Alfredo2018-06-091-0/+2
* dev-ada/gprbuild: use gnatbind versioned and remove old ebuildTupone Alfredo2017-12-191-2/+0
* dev-ada/gprbuild: Set default use flagsTupone Alfredo2017-11-261-4/+4
* dev-ada/gprbuild: Add version 2017Tupone Alfredo2017-06-191-0/+2
* dev-ada/gprbuild: Add gprbuild-gpl-2016Tupone Alfredo2017-03-221-0/+2