projects / gentoo.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 7d40a14) | patch
dev-ada/gps: gnatcoll tools need gnatcoll build with static-libs
authorTupone Alfredo <tupone@gentoo.org>
Thu, 15 Mar 2018 10:04:51 +0000 (11:04 +0100)
committerTupone Alfredo <tupone@gentoo.org>
Thu, 15 Mar 2018 10:04:51 +0000 (11:04 +0100)
commite6dca57ce587391ace3f4757d1c6bbe313a3955d
tree99993ddc2481afae948dfabf54218356c38ab1abtree | snapshot
parent7d40a14f63d8b68de4277ab618e3b309dafdef77commit | diff
dev-ada/gps: gnatcoll tools need gnatcoll build with static-libs

Package-Manager: Portage-2.3.19, Repoman-2.3.6
dev-ada/gps/gps-2017.ebuild diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.