Package: boost1.41 Severity: important Hi
looks like boost1.41 can easily be removed from Debian, as such reducing the number of boost versions we ship. There is only one rdep of it in unstable (and none in testing), mcrl2, which just got a bug to move to a different boost version. If you agree please reassign this bug to ftp.debian.org and retitle it as RM. If not please give reasons why and/or a plan how we otherwise can reduce the boost versions we have in the archive. Thanks. -- bye, Joerg I'm having the best day of my life, and I owe it all to not going to Church!
pgppAuLaNoeCe.pgp
Description: PGP signature
