diff options
| author |   Michał Górny <mgorny@gentoo.org> | 2021-01-31 00:46:39 +0100 |
|---|---|---|
| committer | Michał Górny <mgorny@gentoo.org> | 2021-01-31 01:06:29 +0100 |
| commit | 4366c349561aa0de2746ac44ecda5260028f635d (patch) | |
| tree | cc7cf9d274a9cdea7c10cad843ac4b4b3fc2743a /dev-ada/gps | |
| parent | sys-cluster/ganglia: Remove old (diff) | |
| download | gentoo-4366c349561aa0de2746ac44ecda5260028f635d.tar.gz gentoo-4366c349561aa0de2746ac44ecda5260028f635d.tar.bz2 gentoo-4366c349561aa0de2746ac44ecda5260028f635d.zip | |
dev-ada/gnatcoll-db: Remove last-rited pkg
Closes: https://bugs.gentoo.org/735262
Signed-off-by: Michał Górny <mgorny@gentoo.org>
Diffstat (limited to 'dev-ada/gps')
0 files changed, 0 insertions, 0 deletions