dev-ada/gnatcoll: compatibility with gprbuild-2017
authorTupone Alfredo <tupone@gentoo.org>
Sun, 11 Nov 2018 11:00:52 +0000 (12:00 +0100)
committerTupone Alfredo <tupone@gentoo.org>
Sun, 11 Nov 2018 11:00:52 +0000 (12:00 +0100)
commit7b381d7c0945f1d1625bc58fcb1f1ee728565e94
tree6f4ca60e61b76e435d0eded39380d62571431787
parent9dd23edfd3c5b49bebdf83bf88d2ee154331a292
dev-ada/gnatcoll: compatibility with gprbuild-2017

Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Package-Manager: Portage-2.3.51, Repoman-2.3.11
dev-ada/gnatcoll/files/gnatcoll-2016-gentoo.patch
dev-ada/gnatcoll/gnatcoll-2016.ebuild