Gentoo Archives: gentoo-dev

From:	"Michał Górny" <mgorny@g.o>
To:	gentoo-dev-announce@l.g.o
Cc:	gentoo-dev@l.g.o
Subject:	[gentoo-dev] Last rites: dev-ada/langkit, dev-ada/libadalang{,-tools}, dev-ada/gps, dev-ada/gnatcoll-{bindings,db}
Date:	Thu, 31 Dec 2020 23:54:27
Message-Id:	`0c42fbd34ffd3c69826b5461620ce841f7074626.camel@gentoo.org`

1	# Alfredo Tupone <tupone@g.o> (2020-08-16)
2	# Ported to py3.8 but not yet released
3	# Masked to allow py2.7 removal
4	# Michał Górny <mgorny@g.o> (2021-01-01)
5	# Masking for removal to prevent eclass from crashing on these packages.
6	# Removal in 30 days.
7	dev-ada/langkit
8	dev-ada/libadalang
9	dev-ada/libadalang-tools
10	dev-ada/gps
11	dev-ada/gnatcoll-bindings
12	dev-ada/gnatcoll-db
13	--
14	Best regards,
15	Michał Górny

Subject	Author
[gentoo-dev] Re: Last rites: dev-ada/langkit, dev-ada/libadalang{,-tools}, dev-ada/gps, dev-ada/gnatcoll-{bindings,db}	Thomas Mueller <mueller6724@×××.com>