Ubuntu

Bugs : mcrl2 in Ubuntu

There are currently no open bugs.

"mcrl2" versions published in Ubuntu

Trusty (201210.1-1ubuntu1): universe/math
Saucy (201210.1-1ubuntu1): universe/math
Quantal (201202.0-2): universe/math
Precise (201107.1-1): universe/math