Welcome to docker.ru hosting provider linux mirror located at Moscow, Russian Federation.
Server configuration: Linux with OpenZFS, 2 x E5-2670v2, 128 GB ECC memory, 12 x 4 TB raidz2 + 1 TB SSD for L2ARC.
Network: 20 gbps uplink, IPv4 (185.253.23.31), IPv6 (2a04:8580:ffff:fffe::2).
My hostname is mirror.docker.ru Index of /ubuntu/pool/universe/p/ppxlib/

Index of /ubuntu/pool/universe/p/ppxlib/

../
libppxlib-ocaml-dev_0.12.0-1build1_amd64.deb       21-Feb-2020 09:28            12047564
libppxlib-ocaml-dev_0.24.0-1build2_amd64.deb       28-Jan-2022 15:28            16431026
libppxlib-ocaml-dev_0.27.0-2build2_amd64.deb       15-Feb-2023 14:59            16932018
libppxlib-ocaml-dev_0.30.0-3_amd64.deb             06-Aug-2023 11:29            18519200
libppxlib-ocaml-dev_0.32.0-1_amd64.deb             15-Feb-2024 18:29            19424192
libppxlib-ocaml-dev_0.33.0-1build1_amd64.deb       05-Sep-2024 12:40            25050942
libppxlib-ocaml-dev_0.33.0-2_amd64.deb             01-Nov-2024 00:58            25052388
ppxlib_0.12.0-1build1.debian.tar.xz                21-Feb-2020 07:53                2908
ppxlib_0.12.0-1build1.dsc                          21-Feb-2020 07:53                2234
ppxlib_0.12.0.orig.tar.gz                          13-Jan-2020 23:18              167818
ppxlib_0.24.0-1build2.debian.tar.xz                28-Jan-2022 15:28                2908
ppxlib_0.24.0-1build2.dsc                          28-Jan-2022 15:28                2085
ppxlib_0.24.0.orig.tar.bz2                         20-Jan-2022 23:28              223434
ppxlib_0.27.0-2build2.debian.tar.xz                15-Feb-2023 14:59                3004
ppxlib_0.27.0-2build2.dsc                          15-Feb-2023 14:59                2060
ppxlib_0.27.0.orig.tar.bz2                         06-Nov-2022 04:01              239693
ppxlib_0.30.0-3.debian.tar.xz                      06-Aug-2023 11:29                2936
ppxlib_0.30.0-3.dsc                                06-Aug-2023 11:29                1833
ppxlib_0.30.0.orig.tar.gz                          03-Jul-2023 17:29              573753
ppxlib_0.32.0-1.debian.tar.xz                      15-Feb-2024 17:24                3160
ppxlib_0.32.0-1.dsc                                15-Feb-2024 17:24                1836
ppxlib_0.32.0.orig.tar.bz2                         15-Feb-2024 17:24              364104
ppxlib_0.33.0-1build1.debian.tar.xz                05-Sep-2024 11:40                3276
ppxlib_0.33.0-1build1.dsc                          05-Sep-2024 11:40                2069
ppxlib_0.33.0-2.debian.tar.xz                      31-Oct-2024 19:04                3200
ppxlib_0.33.0-2.dsc                                31-Oct-2024 19:04                1929
ppxlib_0.33.0.orig.tar.bz2                         21-Aug-2024 06:58              382323
powered by nginx