Related packages

PPA packages

9 packages
Name Uploaded to Version When Failures
mcrl2 Release PPA - Ubuntu Focal 202006.0-1ubuntu1ppa1~focal None
mcrl2 Release PPA - Ubuntu Bionic 202006.0-1ubuntu1ppa1~bionic None
mcrl2 Release PPA - Ubuntu Disco 201908.0-1ubuntu1ppa2~disco None
mcrl2 Release PPA - Ubuntu Xenial 201908.0-1ubuntu1ppa1~xenial None
mcrl2 Release PPA - Ubuntu Trusty 201808.0-1ubuntu1ppa1~trusty None
mcrl2 Release PPA - Ubuntu Zesty 201707.1-1ubuntu1ppa2~zesty None
mcrl2 Release PPA - Ubuntu Yakkety 201707.1-1ubuntu1ppa2~yakkety None
mcrl2 Release PPA - Ubuntu Utopic 201409.1-1ubuntu1ppa2~utopic None
mcrl2 Release PPA - Ubuntu Precise 201409.1-1ubuntu1ppa2~precise None