A new upstream version 201707.1.15363 is available, you should consider packaging it.
Standards version of the package is outdated.
high
The package is severely out of date with respect to the Debian Policy.The package should be updated to follow the last version of Debian Policy
(Standards-Version 4.1.4 instead of
3.9.5).
![[bug history graph]](https://qa.debian.org/data/bts/graphs/m/mcrl2.png){kind=link}