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

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


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