There are currently no open bugs.

"mcrl2" versions published in Ubuntu

Zesty (201409.0-1ubuntu2): universe/math
Yakkety (201409.0-1ubuntu2): universe/math
Xenial (201409.0-1ubuntu1): universe/math
Wily (201409.0-1ubuntu1): universe/math
Vivid (201409.0-1ubuntu1): universe/math
Trusty (201210.1-1ubuntu1): universe/math
Precise (201107.1-1): universe/math