dev-ada/gprbuild: Fix configuration for 2017 version too
authorTupone Alfredo <tupone@gentoo.org>
Sat, 27 Oct 2018 20:27:04 +0000 (22:27 +0200)
committerTupone Alfredo <tupone@gentoo.org>
Sat, 27 Oct 2018 20:27:04 +0000 (22:27 +0200)
commite7d7485e2922d66450f2cecbc8967f81f168646b
tree8f81cbf26423a971851a54d2d7e2abf200c7f1d4
parent99381b4c760cf0d740b7c392188eab5db277bae4
dev-ada/gprbuild: Fix configuration for 2017 version too

Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Package-Manager: Portage-2.3.49, Repoman-2.3.11
dev-ada/gprbuild/files/gprbuild-2017-config.patch [new file with mode: 0644]
dev-ada/gprbuild/gprbuild-2017-r1.ebuild [new file with mode: 0644]