| Parent directory/ | - | - |
| mcrl2_201210.1.orig.tar.gz | 8218004 | 2012-Nov-01 17:33 |
| mcrl2_201210.1-1ubuntu1.dsc | 2154 | 2012-Nov-05 22:33 |
| mcrl2_201210.1-1ubuntu1.debian.tar.gz | 7073 | 2012-Nov-05 22:33 |
| mcrl2_201210.1-1ubuntu1_powerpc.deb | 13300600 | 2012-Nov-06 00:37 |
| mcrl2_201210.1-1ubuntu1_armhf.deb | 9327762 | 2012-Nov-06 03:04 |
| mcrl2_201210.1-1ubuntu1_arm64.deb | 11296954 | 2013-Oct-20 12:58 |
| mcrl2_201210.1-1ubuntu1_ppc64el.deb | 6269294 | 2014-Feb-19 19:08 |
| mcrl2_201409.0-1ubuntu1.dsc | 1505 | 2015-Jan-12 10:03 |
| mcrl2_201409.0-1ubuntu1.debian.tar.xz | 6844 | 2015-Jan-12 10:03 |
| mcrl2_201409.0.orig.tar.gz | 17457340 | 2015-Jan-12 10:03 |
| mcrl2_201409.0-1ubuntu1_ppc64el.deb | 6944598 | 2015-Jan-12 10:03 |
| mcrl2_201409.0-1ubuntu1_powerpc.deb | 6710866 | 2015-Jan-12 10:13 |
| mcrl2_201409.0-1ubuntu1_arm64.deb | 7123022 | 2015-Jan-12 10:23 |
| mcrl2_201409.0-1ubuntu1_armhf.deb | 5491262 | 2015-Jan-12 10:53 |
| mcrl2_201409.0-1ubuntu1_s390x.deb | 6880796 | 2015-Dec-05 10:47 |
| mcrl2_201409.0-1ubuntu3.dsc | 2163 | 2017-Nov-11 16:24 |
| mcrl2_201409.0-1ubuntu3.debian.tar.xz | 6952 | 2017-Nov-11 16:24 |
| mcrl2_201409.0-1ubuntu3_arm64.deb | 6920860 | 2017-Nov-11 16:25 |
| mcrl2_201409.0-1ubuntu3_armhf.deb | 5220988 | 2017-Nov-11 16:25 |
| mcrl2_201409.0-1ubuntu3_ppc64el.deb | 7248112 | 2017-Nov-11 16:25 |
| mcrl2_201409.0-1ubuntu3_s390x.deb | 6671788 | 2017-Nov-11 16:25 |