Package: mcrl2 Severity: important Hi
your package uses boost1.41. It is the only package still doing this, and we intend to remove this version of boost from the archive. Please fixup whatever is neccessary and switch to a different boost version, 1.42 for example, which will be in the next stable release. -- bye, Joerg <exa> yes, I'm annoying.
pgpmvrix1Rp5T.pgp
Description: PGP signature
