Welcome to the NetCologne GmbH open source mirroring service!

This machine mirrors various open-source projects. 20 Gbit/s uplink.

If there are any issues or you want another project mirrored, please contact mirror-service -=AT=- netcologne DOT de !

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

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


../
libmcl-ocaml-dev_14-137+ds-9build2_amd64.deb       25-Jan-2022 18:31    250K
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_amd64.deb                             09-Jul-2013 23:28      2M
mcl_12-135-2_i386.deb                              09-Jul-2013 23:28      2M
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_amd64.deb                          22-Jan-2018 17:33    581K
mcl_14-137+ds-1_i386.deb                           22-Jan-2018 17:34    591K
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_amd64.deb                          12-Jul-2019 00:00    584K
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_amd64.deb                    25-Jan-2022 18:31    613K
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_amd64.deb                             21-May-2014 05:38    532K
mcl_14-137-1_i386.deb                              21-May-2014 05:38    510K
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_amd64.deb                          16-Nov-2022 17:39    537K
mcl_22-282+ds.orig.tar.xz                          06-Nov-2022 03:06      2M