Index of /ubuntu/pool/universe/m/mcrl2
Name
Last modified
Size
Parent Directory
-
mcrl2_201001+svn7611-1.debian.tar.gz
2010-05-25 15:05
5.2K
mcrl2_201001+svn7611-1.dsc
2010-05-25 15:05
1.5K
mcrl2_201001+svn7611.orig.tar.gz
2010-05-25 15:05
4.6M
mcrl2_201001+svn7611-1_armel.deb
2010-05-26 01:06
8.3M
mcrl2_201001+svn7611-1_i386.deb
2010-05-26 01:07
9.2M
mcrl2_201001+svn7611-1_powerpc.deb
2010-05-26 02:05
9.4M
mcrl2_201001+svn7611-1_amd64.deb
2010-05-26 06:05
9.3M
mcrl2_201007~rc1-1.debian.tar.gz
2010-10-15 13:07
6.0K
mcrl2_201007~rc1-1.dsc
2010-10-15 13:07
1.5K
mcrl2_201007~rc1.orig.tar.gz
2010-10-15 13:07
5.1M
mcrl2_201007~rc1-1_i386.deb
2010-10-22 15:04
13M
mcrl2_201007~rc1-1_amd64.deb
2010-10-22 22:05
13M
mcrl2_201007~rc1-1_armel.deb
2010-10-23 06:05
11M
mcrl2_201007~rc1-1_powerpc.deb
2010-11-04 07:05
13M
mcrl2_201107-1.debian.tar.gz
2011-07-27 12:06
8.3K
mcrl2_201107-1.dsc
2011-07-27 12:06
1.3K
mcrl2_201107.orig.tar.gz
2011-07-27 12:06
4.9M
mcrl2_201107-1_i386.deb
2011-07-27 23:05
14M
mcrl2_201107-1_amd64.deb
2011-07-28 03:06
14M
mcrl2_201107-1_powerpc.deb
2011-07-29 14:05
14M
mcrl2_201107-1_armel.deb
2011-07-30 00:04
12M
mcrl2_201107.1-1.debian.tar.gz
2012-01-03 03:05
6.7K
mcrl2_201107.1-1.dsc
2012-01-03 03:05
1.4K
mcrl2_201107.1.orig.tar.gz
2012-01-03 03:05
4.9M
mcrl2_201107.1-1_amd64.deb
2012-01-03 05:04
14M
mcrl2_201107.1-1_i386.deb
2012-01-03 05:05
14M
mcrl2_201107.1-1_armhf.deb
2012-01-03 07:04
12M
mcrl2_201107.1-1_powerpc.deb
2012-01-03 15:04
14M
mcrl2_201107.1-1_armel.deb
2012-01-03 19:03
12M
mcrl2_201202.0-2.debian.tar.gz
2012-04-30 23:52
6.8K
mcrl2_201202.0-2.dsc
2012-04-30 23:52
1.4K
mcrl2_201202.0.orig.tar.gz
2012-04-30 23:52
8.4M
mcrl2_201202.0-2_i386.deb
2012-05-01 11:05
13M
mcrl2_201202.0-2_amd64.deb
2012-05-01 14:04
12M
mcrl2_201202.0-2_armel.deb
2012-05-03 03:04
11M
mcrl2_201202.0-2_armhf.deb
2012-05-03 04:03
10M
mcrl2_201202.0-2_powerpc.deb
2012-05-03 09:33
13M
mcrl2_201210.1.orig.tar.gz
2012-11-01 08:33
7.8M
mcrl2_201210.1-1ubuntu1.debian.tar.gz
2012-11-05 13:33
6.9K
mcrl2_201210.1-1ubuntu1.dsc
2012-11-05 13:33
2.1K
mcrl2_201210.1-1ubuntu1_amd64.deb
2012-11-05 13:33
12M
mcrl2_201210.1-1ubuntu1_i386.deb
2012-11-05 13:33
13M
mcrl2_201210.1-1ubuntu1_powerpc.deb
2012-11-05 15:37
13M
mcrl2_201210.1-1ubuntu1_armhf.deb
2012-11-05 18:04
8.9M
mcrl2_201210.1-1ubuntu1_arm64.deb
2013-10-20 03:58
11M
mcrl2_201210.1-1ubuntu1_ppc64el.deb
2014-02-19 10:08
6.0M
mcrl2_201409.0-1ubuntu1.debian.tar.xz
2015-01-12 01:03
6.7K
mcrl2_201409.0-1ubuntu1.dsc
2015-01-12 01:03
1.5K
mcrl2_201409.0.orig.tar.gz
2015-01-12 01:03
17M
mcrl2_201409.0-1ubuntu1_ppc64el.deb
2015-01-12 01:03
6.6M
mcrl2_201409.0-1ubuntu1_amd64.deb
2015-01-12 01:13
7.6M
mcrl2_201409.0-1ubuntu1_i386.deb
2015-01-12 01:13
7.6M
mcrl2_201409.0-1ubuntu1_powerpc.deb
2015-01-12 01:13
6.4M
mcrl2_201409.0-1ubuntu1_arm64.deb
2015-01-12 01:23
6.8M
mcrl2_201409.0-1ubuntu1_armhf.deb
2015-01-12 01:53
5.2M
mcrl2_201409.0-1ubuntu2.debian.tar.xz
2016-05-31 10:59
6.8K
mcrl2_201409.0-1ubuntu2.dsc
2016-05-31 10:59
2.1K
mcrl2_201409.0-1ubuntu2_ppc64el.deb
2016-05-31 11:03
6.7M
mcrl2_201409.0-1ubuntu2_amd64.deb
2016-05-31 11:39
7.3M
mcrl2_201409.0-1ubuntu2_arm64.deb
2016-05-31 11:39
6.5M
mcrl2_201409.0-1ubuntu2_i386.deb
2016-05-31 11:40
7.5M
mcrl2_201409.0-1ubuntu2_armhf.deb
2016-05-31 12:14
5.1M
mcrl2_201409.0-1ubuntu3.debian.tar.xz
2017-11-11 07:24
6.8K
mcrl2_201409.0-1ubuntu3.dsc
2017-11-11 07:24
2.1K
mcrl2_201409.0-1ubuntu3_amd64.deb
2017-11-11 07:24
7.2M
mcrl2_201409.0-1ubuntu3_arm64.deb
2017-11-11 07:25
6.6M
mcrl2_201409.0-1ubuntu3_armhf.deb
2017-11-11 07:25
5.0M
mcrl2_201409.0-1ubuntu3_i386.deb
2017-11-11 07:25
7.5M
mcrl2_201409.0-1ubuntu3_ppc64el.deb
2017-11-11 07:25
6.9M
mcrl2_201409.0-1ubuntu3_s390x.deb
2017-11-11 07:25
6.4M
mcrl2_201409.0-1ubuntu2_powerpc.deb
2018-06-13 07:25
6.3M
mcrl2_201409.0-1ubuntu2_s390x.deb
2018-06-13 09:42
6.5M
Apache/2.4.29 (Ubuntu) Server at old-releases.ubuntu.com Port 80