A new upstream version 201808.0 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.2.1 instead of
3.9.5).
vcswatch reports that
this package seems to have a new changelog entry (version
201409.1-1, distribution
unstable) and new commits
in its VCS. You should consider whether it's time to make
an upload.
![[bug history graph]](https://qa.debian.org/data/bts/graphs/m/mcrl2.png){kind=link}