projects / gentoo.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 880699b) | patch
dev-ada/gnatcoll: require a more recent libgpr
authorTupone Alfredo <tupone@gentoo.org>
Tue, 13 Nov 2018 20:30:25 +0000 (21:30 +0100)
committerTupone Alfredo <tupone@gentoo.org>
Tue, 13 Nov 2018 20:30:25 +0000 (21:30 +0100)
commit971f893b0e0d4c2080513bed8ebfe832049ed79f
tree505b900b829119eea5272e80ffd60f03b1b1ca7dtree | snapshot
parent880699bb699214cac6e4f6e99a369eeccca4ca43commit | diff
dev-ada/gnatcoll: require a more recent libgpr

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 diff | blob | history
dev-ada/gnatcoll/gnatcoll-2016.ebuild diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.