Package: ftp.debian.org Severity: normal Dear FTP masters,
Please remove the mcrl2 from unstable (and thereby Buster). It has not been maintained in Debian for years and the popcon is very low. It might return later if upstream packaging work is pushed towards Debian again? Kind regards, Paul