Deprecated status

ghc-tcplugins-extra is not deprecated [maintainers: edit]