Index of /ubuntu-old/pool/universe/m/mcrl2/

../
mcrl2_201001+svn7611-1.debian.tar.gz               25-May-2010 15:05    5320
mcrl2_201001+svn7611-1.dsc                         25-May-2010 15:05    1513
mcrl2_201001+svn7611-1_i386.deb                    26-May-2010 01:07      9M
mcrl2_201001+svn7611.orig.tar.gz                   25-May-2010 15:05      5M
mcrl2_201007~rc1-1.debian.tar.gz                   15-Oct-2010 13:07    6175
mcrl2_201007~rc1-1.dsc                             15-Oct-2010 13:07    1485
mcrl2_201007~rc1-1_i386.deb                        22-Oct-2010 15:04     13M
mcrl2_201007~rc1.orig.tar.gz                       15-Oct-2010 13:07      5M
mcrl2_201107-1.debian.tar.gz                       27-Jul-2011 12:06    8535
mcrl2_201107-1.dsc                                 27-Jul-2011 12:06    1381
mcrl2_201107-1_i386.deb                            27-Jul-2011 23:05     14M
mcrl2_201107.orig.tar.gz                           27-Jul-2011 12:06      5M
mcrl2_201202.0-2.debian.tar.gz                     30-Apr-2012 23:52    6981
mcrl2_201202.0-2.dsc                               30-Apr-2012 23:52    1478
mcrl2_201202.0-2_i386.deb                          01-May-2012 11:05     13M
mcrl2_201202.0.orig.tar.gz                         30-Apr-2012 23:52      8M
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_arm64.deb                  20-Oct-2013 03:58     11M
mcrl2_201210.1-1ubuntu1_i386.deb                   05-Nov-2012 13:33     13M
mcrl2_201210.1.orig.tar.gz                         01-Nov-2012 08:33      8M