diff options
| author |   Tupone Alfredo <tupone@gentoo.org> | 2018-11-13 21:30:25 +0100 |
|---|---|---|
| committer | Tupone Alfredo <tupone@gentoo.org> | 2018-11-13 21:30:25 +0100 |
| commit | 971f893b0e0d4c2080513bed8ebfe832049ed79f (patch) | |
| tree | 505b900b829119eea5272e80ffd60f03b1b1ca7d /dev-ada/gps-bin | |
| parent | gnome-extra/libgda: 5.2.5 version bump (diff) | |
| download | gentoo-971f893b0e0d4c2080513bed8ebfe832049ed79f.tar.gz gentoo-971f893b0e0d4c2080513bed8ebfe832049ed79f.tar.bz2 gentoo-971f893b0e0d4c2080513bed8ebfe832049ed79f.zip | |
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
Diffstat (limited to 'dev-ada/gps-bin')
0 files changed, 0 insertions, 0 deletions