Folder Path

/ubuntu-ports/pool/universe/m/mcrl2/

0 directories 21 files 119 MiB total

	Name	Size	Modified
	Up
	mcrl2_201210.1-1ubuntu1.debian.tar.gz	6.9 KiB	11/05/2012 01:33:21 PM +00:00
	mcrl2_201210.1-1ubuntu1.dsc	2.1 KiB	11/05/2012 01:33:21 PM +00:00
	mcrl2_201210.1-1ubuntu1_arm64.deb	11 MiB	10/20/2013 03:58:23 AM +00:00
	mcrl2_201210.1-1ubuntu1_armhf.deb	8.9 MiB	11/05/2012 06:04:13 PM +00:00
	mcrl2_201210.1-1ubuntu1_powerpc.deb	13 MiB	11/05/2012 03:37:13 PM +00:00
	mcrl2_201210.1-1ubuntu1_ppc64el.deb	6.0 MiB	02/19/2014 10:08:47 AM +00:00
	mcrl2_201210.1.orig.tar.gz	7.8 MiB	11/01/2012 08:33:19 AM +00:00
	mcrl2_201409.0-1ubuntu1.debian.tar.xz	6.7 KiB	01/12/2015 01:03:29 AM +00:00
	mcrl2_201409.0-1ubuntu1.dsc	1.5 KiB	01/12/2015 01:03:29 AM +00:00
	mcrl2_201409.0-1ubuntu1_arm64.deb	6.8 MiB	01/12/2015 01:23:25 AM +00:00
	mcrl2_201409.0-1ubuntu1_armhf.deb	5.2 MiB	01/12/2015 01:53:22 AM +00:00
	mcrl2_201409.0-1ubuntu1_powerpc.deb	6.4 MiB	01/12/2015 01:13:27 AM +00:00
	mcrl2_201409.0-1ubuntu1_ppc64el.deb	6.6 MiB	01/12/2015 01:03:35 AM +00:00
	mcrl2_201409.0-1ubuntu1_s390x.deb	6.6 MiB	12/05/2015 01:47:31 AM +00:00
	mcrl2_201409.0-1ubuntu3.debian.tar.xz	6.8 KiB	11/11/2017 07:24:46 AM +00:00
	mcrl2_201409.0-1ubuntu3.dsc	2.1 KiB	11/11/2017 07:24:46 AM +00:00
	mcrl2_201409.0-1ubuntu3_arm64.deb	6.6 MiB	11/11/2017 07:25:02 AM +00:00
	mcrl2_201409.0-1ubuntu3_armhf.deb	5.0 MiB	11/11/2017 07:25:04 AM +00:00
	mcrl2_201409.0-1ubuntu3_ppc64el.deb	6.9 MiB	11/11/2017 07:25:13 AM +00:00
	mcrl2_201409.0-1ubuntu3_s390x.deb	6.4 MiB	11/11/2017 07:25:18 AM +00:00
	mcrl2_201409.0.orig.tar.gz	17 MiB	01/12/2015 01:03:30 AM +00:00