diff options
| author |   Michał Górny <mgorny@gentoo.org> | 2021-01-31 00:47:43 +0100 |
|---|---|---|
| committer | Michał Górny <mgorny@gentoo.org> | 2021-01-31 01:06:31 +0100 |
| commit | 34b29c890e10bb160cb390da8b3dfbd7bfe02aa3 (patch) | |
| tree | d596d261e8ac87b99c999c523d358d232acde6c9 /dev-ada/libadalang/metadata.xml | |
| parent | dev-ada/gps: Remove last-rited pkg (diff) | |
| download | gentoo-34b29c890e10bb160cb390da8b3dfbd7bfe02aa3.tar.gz gentoo-34b29c890e10bb160cb390da8b3dfbd7bfe02aa3.tar.bz2 gentoo-34b29c890e10bb160cb390da8b3dfbd7bfe02aa3.zip | |
dev-ada/libadalang-tools: Remove last-rited pkg
Closes: https://bugs.gentoo.org/735264
Signed-off-by: Michał Górny <mgorny@gentoo.org>
Diffstat (limited to 'dev-ada/libadalang/metadata.xml')
0 files changed, 0 insertions, 0 deletions