projects / gentoo.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 846a33b) | patch
dev-ada/gnatcoll: Enable build with gnat_2016 & remove old
authorTupone Alfredo <tupone@gentoo.org>
Sat, 17 Nov 2018 14:17:31 +0000 (15:17 +0100)
committerTupone Alfredo <tupone@gentoo.org>
Sat, 17 Nov 2018 14:17:31 +0000 (15:17 +0100)
commit2ea89c208511c8b1f9f4f06110b33730b48697f6
tree9674d6f9bfe5062c7103a3c25297012e538a416ftree | snapshot
parent846a33bb4a6dc9bf689373da44e3b6fbdf83bd87commit | diff
dev-ada/gnatcoll: Enable build with gnat_2016 & remove old

Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Package-Manager: Portage-2.3.51, Repoman-2.3.11
dev-ada/gnatcoll/Manifest diff | blob | history
dev-ada/gnatcoll/files/gnatcoll-2016-gentoo.patch [deleted file] blob | history
dev-ada/gnatcoll/files/gnatcoll-2017-gentoo.patch diff | blob | history
dev-ada/gnatcoll/gnatcoll-2016.ebuild [deleted file] blob | history
dev-ada/gnatcoll/gnatcoll-2017.ebuild diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.