Get Gentoo!
gentoo.org sites
gentoo.org Wiki Bugs Forums Packages
Planet Archives Sources
Infra Status
summaryrefslogtreecommitdiff
path: root/dev-ada/gprbuild/gprbuild-2018-r3.ebuild
Commit message (Collapse)AuthorAgeFilesLines
* dev-ada/gprbuild: remove unused versionTupone Alfredo2019-08-271-86/+0
| | | | | Package-Manager: Portage-2.3.66, Repoman-2.3.16 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ada/gprbuild: add -no-pieTupone Alfredo2018-11-301-8/+1
| | | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org> Package-Manager: Portage-2.3.51, Repoman-2.3.11
* dev-ada/gprbuild: Stabilize and remove oldTupone Alfredo2018-11-071-1/+1
| | | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org> Package-Manager: Portage-2.3.51, Repoman-2.3.11
* dev-ada/gprbuild: Fix gnatbind pathTupone Alfredo2018-10-191-0/+93
Closes: https://bugs.gentoo.org/668964 Signed-off-by: Alfredo Tupone <tupone@gentoo.org> Package-Manager: Portage-2.3.49, Repoman-2.3.11