Index of /ubuntu/ubuntu-ports/pool/universe/m/mcl/


../
libmcl-ocaml-dev_14-137+ds-9build2_arm64.deb       25-Jan-2022 18:31              252580
libmcl-ocaml-dev_14-137+ds-9build2_armhf.deb       25-Jan-2022 18:31              226380
libmcl-ocaml-dev_14-137+ds-9build2_ppc64el.deb     25-Jan-2022 18:31              270040
libmcl-ocaml-dev_14-137+ds-9build2_riscv64.deb     25-Jan-2022 19:09              340542
libmcl-ocaml-dev_14-137+ds-9build2_s390x.deb       25-Jan-2022 18:31              256810
mcl-doc_12-135-2_all.deb                           09-Jul-2013 23:28             1414004
mcl-doc_14-137+ds-1_all.deb                        22-Jan-2018 17:33              536228
mcl-doc_14-137+ds-4_all.deb                        12-Jul-2019 00:00              867580
mcl-doc_14-137+ds-9build2_all.deb                  25-Jan-2022 18:31             2177572
mcl-doc_14-137-1_all.deb                           21-May-2014 05:38              562630
mcl-doc_22-282+ds-2_all.deb                        16-Nov-2022 17:39             2105980
mcl_12-135-2.debian.tar.gz                         09-Jul-2013 23:13               12744
mcl_12-135-2.dsc                                   09-Jul-2013 23:13                1378
mcl_12-135-2_arm64.deb                             26-Oct-2013 06:48             1401296
mcl_12-135-2_armhf.deb                             09-Jul-2013 23:28             1296036
mcl_12-135-2_powerpc.deb                           09-Jul-2013 23:33             1593490
mcl_12-135-2_ppc64el.deb                           19-Feb-2014 09:49              429454
mcl_12-135.orig.tar.gz                             27-Jan-2013 23:33             2970824
mcl_14-137+ds-1.debian.tar.xz                      22-Jan-2018 17:20               16396
mcl_14-137+ds-1.dsc                                22-Jan-2018 17:20                2023
mcl_14-137+ds-1_arm64.deb                          22-Jan-2018 17:34              493400
mcl_14-137+ds-1_armhf.deb                          22-Jan-2018 17:34              471632
mcl_14-137+ds-1_ppc64el.deb                        23-Jan-2018 17:41              612516
mcl_14-137+ds-1_s390x.deb                          23-Jan-2018 16:34              556156
mcl_14-137+ds-4.debian.tar.xz                      12-Jul-2019 00:00              347248
mcl_14-137+ds-4.dsc                                12-Jul-2019 00:00                1987
mcl_14-137+ds-4_arm64.deb                          12-Jul-2019 00:01              569696
mcl_14-137+ds-4_armhf.deb                          12-Jul-2019 00:01              473352
mcl_14-137+ds-4_ppc64el.deb                        12-Jul-2019 00:18              668688
mcl_14-137+ds-4_riscv64.deb                        04-Apr-2020 18:03              508032
mcl_14-137+ds-4_s390x.deb                          12-Jul-2019 00:01              561148
mcl_14-137+ds-9build2.debian.tar.xz                25-Jan-2022 18:31              383868
mcl_14-137+ds-9build2.dsc                          25-Jan-2022 18:31                2225
mcl_14-137+ds-9build2_arm64.deb                    25-Jan-2022 18:31              643238
mcl_14-137+ds-9build2_armhf.deb                    25-Jan-2022 18:31              526306
mcl_14-137+ds-9build2_ppc64el.deb                  25-Jan-2022 18:31              639944
mcl_14-137+ds-9build2_riscv64.deb                  25-Jan-2022 19:09              588778
mcl_14-137+ds-9build2_s390x.deb                    25-Jan-2022 18:31              665608
mcl_14-137+ds.orig.tar.xz                          22-Jan-2018 17:20             1684736
mcl_14-137-1.debian.tar.xz                         21-May-2014 05:13               10528
mcl_14-137-1.dsc                                   21-May-2014 05:13                1999
mcl_14-137-1_arm64.deb                             21-May-2014 05:38              435770
mcl_14-137-1_armhf.deb                             21-May-2014 05:38              437104
mcl_14-137-1_powerpc.deb                           21-May-2014 05:38              448174
mcl_14-137-1_ppc64el.deb                           21-May-2014 05:13              507980
mcl_14-137-1_s390x.deb                             05-Dec-2015 05:46              555850
mcl_14-137.orig.tar.gz                             21-May-2014 05:13             3035491
mcl_22-282+ds-2.debian.tar.xz                      16-Nov-2022 17:39              384548
mcl_22-282+ds-2.dsc                                16-Nov-2022 17:39                1462
mcl_22-282+ds-2_arm64.deb                          16-Nov-2022 17:39              519952
mcl_22-282+ds-2_armhf.deb                          16-Nov-2022 17:39              416074
mcl_22-282+ds-2_ppc64el.deb                        16-Nov-2022 17:39              683302
mcl_22-282+ds-2_riscv64.deb                        16-Nov-2022 18:04              427556
mcl_22-282+ds-2_s390x.deb                          16-Nov-2022 17:39              507380
mcl_22-282+ds.orig.tar.xz                          06-Nov-2022 03:06             1601716