../ mcrl2_201210.1-1ubuntu1.debian.tar.gz 05-Nov-2012 13:33 7073 mcrl2_201210.1-1ubuntu1.dsc 05-Nov-2012 13:33 2154 mcrl2_201210.1-1ubuntu1_amd64.deb 05-Nov-2012 13:33 12974108 mcrl2_201210.1-1ubuntu1_i386.deb 05-Nov-2012 13:33 13591220 mcrl2_201210.1.orig.tar.gz 01-Nov-2012 08:33 8218004 mcrl2_201409.0-1ubuntu1.debian.tar.xz 12-Jan-2015 01:03 6844 mcrl2_201409.0-1ubuntu1.dsc 12-Jan-2015 01:03 1505 mcrl2_201409.0-1ubuntu1_amd64.deb 12-Jan-2015 01:13 7987954 mcrl2_201409.0-1ubuntu1_i386.deb 12-Jan-2015 01:13 8010836 mcrl2_201409.0-1ubuntu3.debian.tar.xz 11-Nov-2017 07:24 6952 mcrl2_201409.0-1ubuntu3.dsc 11-Nov-2017 07:24 2163 mcrl2_201409.0-1ubuntu3_amd64.deb 11-Nov-2017 07:24 7543524 mcrl2_201409.0-1ubuntu3_i386.deb 11-Nov-2017 07:25 7897552 mcrl2_201409.0.orig.tar.gz 12-Jan-2015 01:03 17457340
This is a mirror server that provides copies of open source software distributions for public convenience. We are not the original creators or maintainers of the mirrored content. All files are provided "as is" without any warranties or guarantees. We are not responsible for the content, quality, or functionality of the mirrored files. Use at your own risk.