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 /profiles | |
| 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 'profiles')
| -rw-r--r-- | profiles/package.mask | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/profiles/package.mask b/profiles/package.mask index c87edc6eccf5..a881278ff35b 100644 --- a/profiles/package.mask +++ b/profiles/package.mask @@ -348,7 +348,6 @@ dev-lang/spark # Removal in 30 days. dev-ada/langkit dev-ada/libadalang -dev-ada/libadalang-tools # Mart Raudsepp <leio@gentoo.org> (2020-08-15) # Development release, needs testing to ensure valac-0.50 |