[gentoo-dev] Packages up for grabs: dev-lang/mercury*, dev-lang/mozart*, net-misc/pedro

Hi, The following packages are in need of a new maintainer due to the inactivity of the prior maintainer: dev-lang/mercury dev-lang/mercury-extras dev-lang/mozart dev-lang/mozart-stdlib net-misc/pedro FWICS mercury and pedro need a version bump. They all have some bugs reported. -- Best regar

[gentoo-dev] Last rites: dev-build/cons, dev-build/tup

# Michał Górny (2024-01-17) # Unmaintained build systems with no reverse dependencies. # dev-build/cons was last released in 2001. # dev-build/tup was last released in 2021 and has a few bugs reported. # Removal on 2024-02-16.  Bug #922329. dev-build/cons dev-build/tup -- Best regards, Michał Gó