Welcome to mirror.sh.com.tr

This server is located at Istanbul, Turkey, and is running on a 10GE connection with approximately 5 TB storage.

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

---

../
libppxlib-ocaml-dev_0.12.0-1build1_amd64.deb       21-Feb-2020 12:28     11M
libppxlib-ocaml-dev_0.24.0-1build2_amd64.deb       28-Jan-2022 18:28     16M
libppxlib-ocaml-dev_0.27.0-2build2_amd64.deb       15-Feb-2023 17:59     16M
libppxlib-ocaml-dev_0.30.0-3_amd64.deb             06-Aug-2023 14:29     18M
libppxlib-ocaml-dev_0.32.0-1_amd64.deb             15-Feb-2024 21:29     19M
ppxlib_0.12.0-1build1.debian.tar.xz                21-Feb-2020 10:53    2908
ppxlib_0.12.0-1build1.dsc                          21-Feb-2020 10:53    2234
ppxlib_0.12.0.orig.tar.gz                          14-Jan-2020 02:18    164K
ppxlib_0.24.0-1build2.debian.tar.xz                28-Jan-2022 18:28    2908
ppxlib_0.24.0-1build2.dsc                          28-Jan-2022 18:28    2085
ppxlib_0.24.0.orig.tar.bz2                         21-Jan-2022 02:28    218K
ppxlib_0.27.0-2build2.debian.tar.xz                15-Feb-2023 17:59    3004
ppxlib_0.27.0-2build2.dsc                          15-Feb-2023 17:59    2060
ppxlib_0.27.0.orig.tar.bz2                         06-Nov-2022 07:01    234K
ppxlib_0.30.0-3.debian.tar.xz                      06-Aug-2023 14:29    2936
ppxlib_0.30.0-3.dsc                                06-Aug-2023 14:29    1833
ppxlib_0.30.0.orig.tar.gz                          03-Jul-2023 20:29    560K
ppxlib_0.32.0-1.debian.tar.xz                      15-Feb-2024 20:24    3160
ppxlib_0.32.0-1.dsc                                15-Feb-2024 20:24    1836
ppxlib_0.32.0.orig.tar.bz2                         15-Feb-2024 20:24    356K

---