Index of /ubuntu-ports/pool/universe/m/mcl
Name
Last modified
Size
Parent Directory
-
libmcl-ocaml-dev_14-137+ds-9build2_arm64.deb
2022-01-25 18:31
247K
libmcl-ocaml-dev_14-137+ds-9build2_armhf.deb
2022-01-25 18:31
221K
libmcl-ocaml-dev_14-137+ds-9build2_ppc64el.deb
2022-01-25 18:31
264K
libmcl-ocaml-dev_14-137+ds-9build2_riscv64.deb
2022-01-25 19:09
333K
libmcl-ocaml-dev_14-137+ds-9build2_s390x.deb
2022-01-25 18:31
251K
mcl-doc_12-135-2_all.deb
2013-07-09 23:28
1.3M
mcl-doc_14-137+ds-1_all.deb
2018-01-22 17:33
524K
mcl-doc_14-137+ds-4_all.deb
2019-07-12 00:00
847K
mcl-doc_14-137+ds-9build2_all.deb
2022-01-25 18:31
2.1M
mcl-doc_14-137-1_all.deb
2014-05-21 05:38
549K
mcl-doc_22-282+ds-2_all.deb
2022-11-16 17:39
2.0M
mcl_12-135-2.debian.tar.gz
2013-07-09 23:13
12K
mcl_12-135-2.dsc
2013-07-09 23:13
1.3K
mcl_12-135-2_arm64.deb
2013-10-26 06:48
1.3M
mcl_12-135-2_armhf.deb
2013-07-09 23:28
1.2M
mcl_12-135-2_powerpc.deb
2013-07-09 23:33
1.5M
mcl_12-135-2_ppc64el.deb
2014-02-19 09:49
419K
mcl_12-135.orig.tar.gz
2013-01-27 23:33
2.8M
mcl_14-137+ds-1.debian.tar.xz
2018-01-22 17:20
16K
mcl_14-137+ds-1.dsc
2018-01-22 17:20
2.0K
mcl_14-137+ds-1_arm64.deb
2018-01-22 17:34
482K
mcl_14-137+ds-1_armhf.deb
2018-01-22 17:34
461K
mcl_14-137+ds-1_ppc64el.deb
2018-01-23 17:41
598K
mcl_14-137+ds-1_s390x.deb
2018-01-23 16:34
543K
mcl_14-137+ds-4.debian.tar.xz
2019-07-12 00:00
339K
mcl_14-137+ds-4.dsc
2019-07-12 00:00
1.9K
mcl_14-137+ds-4_arm64.deb
2019-07-12 00:01
556K
mcl_14-137+ds-4_armhf.deb
2019-07-12 00:01
462K
mcl_14-137+ds-4_ppc64el.deb
2019-07-12 00:18
653K
mcl_14-137+ds-4_riscv64.deb
2020-04-04 18:03
496K
mcl_14-137+ds-4_s390x.deb
2019-07-12 00:01
548K
mcl_14-137+ds-9build2.debian.tar.xz
2022-01-25 18:31
375K
mcl_14-137+ds-9build2.dsc
2022-01-25 18:31
2.2K
mcl_14-137+ds-9build2_arm64.deb
2022-01-25 18:31
628K
mcl_14-137+ds-9build2_armhf.deb
2022-01-25 18:31
514K
mcl_14-137+ds-9build2_ppc64el.deb
2022-01-25 18:31
625K
mcl_14-137+ds-9build2_riscv64.deb
2022-01-25 19:09
575K
mcl_14-137+ds-9build2_s390x.deb
2022-01-25 18:31
650K
mcl_14-137+ds.orig.tar.xz
2018-01-22 17:20
1.6M
mcl_14-137-1.debian.tar.xz
2014-05-21 05:13
10K
mcl_14-137-1.dsc
2014-05-21 05:13
2.0K
mcl_14-137-1_arm64.deb
2014-05-21 05:38
426K
mcl_14-137-1_armhf.deb
2014-05-21 05:38
427K
mcl_14-137-1_powerpc.deb
2014-05-21 05:38
438K
mcl_14-137-1_ppc64el.deb
2014-05-21 05:13
496K
mcl_14-137-1_s390x.deb
2015-12-05 05:46
543K
mcl_14-137.orig.tar.gz
2014-05-21 05:13
2.9M
mcl_22-282+ds-2.debian.tar.xz
2022-11-16 17:39
376K
mcl_22-282+ds-2.dsc
2022-11-16 17:39
1.4K
mcl_22-282+ds-2_arm64.deb
2022-11-16 17:39
508K
mcl_22-282+ds-2_armhf.deb
2022-11-16 17:39
406K
mcl_22-282+ds-2_ppc64el.deb
2022-11-16 17:39
667K
mcl_22-282+ds-2_riscv64.deb
2022-11-16 18:04
418K
mcl_22-282+ds-2_s390x.deb
2022-11-16 17:39
495K
mcl_22-282+ds.orig.tar.xz
2022-11-06 03:06
1.5M
Apache/2.4.29 (Ubuntu) Server at de.ports.ubuntu.com Port 80