Related packages
Maintained packages
1 package| Name | Uploaded to | Version | When | Failures |
|---|---|---|---|---|
| mcrl2 | Debian Sid | 201409.0-1 | None |
PPA packages
7 packages| Name | Uploaded to | Version | When | Failures |
|---|---|---|---|---|
| mcrl2 | Release PPA - Ubuntu Precise | 201409.0-1ubuntu1ppa2~precise | None | |
| mcrl2 | Release PPA - Ubuntu Lucid | 201409.0-1ubuntu1ppa1~lucid | None | |
| mcrl2 | Release PPA - Ubuntu Trusty | 201409.0-1ubuntu1ppa1~trusty | None | |
| mcrl2 | Development PPA - Ubuntu Trusty | 201409.0-0ubuntu0+1~trusty | None | |
| mcrl2 | Release PPA - Ubuntu Saucy | 201310.0-1ubuntu1ppa1~saucy1 | None | |
| mcrl2 | Release PPA - Ubuntu Raring | 201310.0-1ubuntu1ppa1~raring1 | None | |
| mcrl2 | Release PPA - Ubuntu Quantal | 201310.0-1ubuntu1ppa1~quantal1 | None |
