projects / gentoo.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 4217adc) | patch
dev-ada/gnatcoll-db: fix install when there is no library
authorTupone Alfredo <tupone@gentoo.org>
Fri, 3 Aug 2018 20:56:50 +0000 (22:56 +0200)
committerTupone Alfredo <tupone@gentoo.org>
Fri, 3 Aug 2018 20:56:50 +0000 (22:56 +0200)
commitedc0f3c9e1579243699ab7603752375b90b6fcf3
tree1d9bdd188a189d160d213f69a6d9af99d1f0fb26tree | snapshot
parent4217adc76fec65f861c050bfee4751c390460c0bcommit | diff
dev-ada/gnatcoll-db: fix install when there is no library

Closes: https://bugs.gentoo.org/662728
Package-Manager: Portage-2.3.40, Repoman-2.3.9
dev-ada/gnatcoll-db/gnatcoll-db-2018.ebuild diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.