The hardware and bandwidth for this mirror is donated by dogado GmbH, the Webhosting and Full Service-Cloud Provider. Check out our Wordpress Tutorial.
If you wish to report a bug, or if you are interested in having us mirror your free-software or open-source project, please feel free to contact us at mirror[@]dogado.de.

Index of /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
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.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-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-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.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.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.orig.tar.xz                          06-Nov-2022 03:06             1601716

These binaries (installable software) and packages are in development.
They may not be fully stable and should be used with caution. We make no claims about them.
Health stats visible at Monitor.