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


../
libmcl-ocaml-dev_14-137+ds-9build2_arm64.deb                                                                             25-Jan-2022 18:31    247K
libmcl-ocaml-dev_14-137+ds-9build2_armhf.deb                                                                             25-Jan-2022 18:31    221K
libmcl-ocaml-dev_14-137+ds-9build2_ppc64el.deb                                                                           25-Jan-2022 18:31    264K
libmcl-ocaml-dev_14-137+ds-9build2_riscv64.deb                                                                           25-Jan-2022 19:09    333K
libmcl-ocaml-dev_14-137+ds-9build2_s390x.deb                                                                             25-Jan-2022 18:31    251K
mcl-doc_12-135-2_all.deb                                                                                                 09-Jul-2013 23:28      1M
mcl-doc_14-137+ds-1_all.deb                                                                                              22-Jan-2018 17:33    524K
mcl-doc_14-137+ds-4_all.deb                                                                                              12-Jul-2019 00:00    847K
mcl-doc_14-137+ds-9build2_all.deb                                                                                        25-Jan-2022 18:31      2M
mcl-doc_14-137-1_all.deb                                                                                                 21-May-2014 05:38    549K
mcl-doc_22-282+ds-2_all.deb                                                                                              16-Nov-2022 17:39      2M
mcl_12-135-2.debian.tar.gz                                                                                               09-Jul-2013 23:13     12K
mcl_12-135-2.dsc                                                                                                         09-Jul-2013 23:13    1378
mcl_12-135-2_arm64.deb                                                                                                   26-Oct-2013 06:48      1M
mcl_12-135-2_armhf.deb                                                                                                   09-Jul-2013 23:28      1M
mcl_12-135-2_powerpc.deb                                                                                                 09-Jul-2013 23:33      2M
mcl_12-135-2_ppc64el.deb                                                                                                 19-Feb-2014 09:49    419K
mcl_12-135.orig.tar.gz                                                                                                   27-Jan-2013 23:33      3M
mcl_14-137+ds-1.debian.tar.xz                                                                                            22-Jan-2018 17:20     16K
mcl_14-137+ds-1.dsc                                                                                                      22-Jan-2018 17:20    2023
mcl_14-137+ds-1_arm64.deb                                                                                                22-Jan-2018 17:34    482K
mcl_14-137+ds-1_armhf.deb                                                                                                22-Jan-2018 17:34    461K
mcl_14-137+ds-1_ppc64el.deb                                                                                              23-Jan-2018 17:41    598K
mcl_14-137+ds-1_s390x.deb                                                                                                23-Jan-2018 16:34    543K
mcl_14-137+ds-4.debian.tar.xz                                                                                            12-Jul-2019 00:00    339K
mcl_14-137+ds-4.dsc                                                                                                      12-Jul-2019 00:00    1987
mcl_14-137+ds-4_arm64.deb                                                                                                12-Jul-2019 00:01    556K
mcl_14-137+ds-4_armhf.deb                                                                                                12-Jul-2019 00:01    462K
mcl_14-137+ds-4_ppc64el.deb                                                                                              12-Jul-2019 00:18    653K
mcl_14-137+ds-4_riscv64.deb                                                                                              04-Apr-2020 18:03    496K
mcl_14-137+ds-4_s390x.deb                                                                                                12-Jul-2019 00:01    548K
mcl_14-137+ds-9build2.debian.tar.xz                                                                                      25-Jan-2022 18:31    375K
mcl_14-137+ds-9build2.dsc                                                                                                25-Jan-2022 18:31    2225
mcl_14-137+ds-9build2_arm64.deb                                                                                          25-Jan-2022 18:31    628K
mcl_14-137+ds-9build2_armhf.deb                                                                                          25-Jan-2022 18:31    514K
mcl_14-137+ds-9build2_ppc64el.deb                                                                                        25-Jan-2022 18:31    625K
mcl_14-137+ds-9build2_riscv64.deb                                                                                        25-Jan-2022 19:09    575K
mcl_14-137+ds-9build2_s390x.deb                                                                                          25-Jan-2022 18:31    650K
mcl_14-137+ds.orig.tar.xz                                                                                                22-Jan-2018 17:20      2M
mcl_14-137-1.debian.tar.xz                                                                                               21-May-2014 05:13     10K
mcl_14-137-1.dsc                                                                                                         21-May-2014 05:13    1999
mcl_14-137-1_arm64.deb                                                                                                   21-May-2014 05:38    426K
mcl_14-137-1_armhf.deb                                                                                                   21-May-2014 05:38    427K
mcl_14-137-1_powerpc.deb                                                                                                 21-May-2014 05:38    438K
mcl_14-137-1_ppc64el.deb                                                                                                 21-May-2014 05:13    496K
mcl_14-137-1_s390x.deb                                                                                                   05-Dec-2015 05:46    543K
mcl_14-137.orig.tar.gz                                                                                                   21-May-2014 05:13      3M
mcl_22-282+ds-2.debian.tar.xz                                                                                            16-Nov-2022 17:39    376K
mcl_22-282+ds-2.dsc                                                                                                      16-Nov-2022 17:39    1462
mcl_22-282+ds-2_arm64.deb                                                                                                16-Nov-2022 17:39    508K
mcl_22-282+ds-2_armhf.deb                                                                                                16-Nov-2022 17:39    406K
mcl_22-282+ds-2_ppc64el.deb                                                                                              16-Nov-2022 17:39    667K
mcl_22-282+ds-2_riscv64.deb                                                                                              16-Nov-2022 18:04    418K
mcl_22-282+ds-2_s390x.deb                                                                                                16-Nov-2022 17:39    495K
mcl_22-282+ds.orig.tar.xz                                                                                                06-Nov-2022 03:06      2M