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/pool/universe/m/mcl/

../
libmcl-ocaml-dev_14-137+ds-9build2_amd64.deb       25-Jan-2022 18:31              255624
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_amd64.deb                             09-Jul-2013 23:28             1636020
mcl_12-135-2_i386.deb                              09-Jul-2013 23:28             1581258
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_amd64.deb                          22-Jan-2018 17:33              594508
mcl_14-137+ds-1_i386.deb                           22-Jan-2018 17:34              605636
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_amd64.deb                          12-Jul-2019 00:00              597580
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_amd64.deb                    25-Jan-2022 18:31              627360
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_amd64.deb                             21-May-2014 05:38              544396
mcl_14-137-1_i386.deb                              21-May-2014 05:38              522264
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_amd64.deb                          16-Nov-2022 17:39              550288
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.