diff options
author | Tupone Alfredo <tupone@gentoo.org> | 2018-07-07 22:35:02 +0200 |
---|---|---|
committer | Tupone Alfredo <tupone@gentoo.org> | 2018-07-07 22:35:02 +0200 |
commit | a85826a8a5e0f6e364942456ae3625b8b04600e3 (patch) | |
tree | c173598293f9b9dc1883ff0b832e99e59ee9ab67 /sci-chemistry | |
parent | dev-ada/gprbuild: Fix "-r and -pie may not be used together" error (diff) | |
download | gentoo-a85826a8a5e0f6e364942456ae3625b8b04600e3.tar.gz gentoo-a85826a8a5e0f6e364942456ae3625b8b04600e3.tar.bz2 gentoo-a85826a8a5e0f6e364942456ae3625b8b04600e3.zip |
dev-ada/gnatcoll-bindings: Allow selection of static via LIBRARY_TYPE
Package-Manager: Portage-2.3.40, Repoman-2.3.9
Diffstat (limited to 'sci-chemistry')
0 files changed, 0 insertions, 0 deletions