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 |
