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