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 /debian/pool/main/p/ppxlib/

../
libppxlib-ocaml-dev_0.15.0-1+b1_amd64.deb          14-Dec-2020 10:13            12664380
libppxlib-ocaml-dev_0.15.0-1+b1_arm64.deb          14-Dec-2020 10:13            13853552
libppxlib-ocaml-dev_0.15.0-1+b1_i386.deb           14-Dec-2020 10:13            12215108
libppxlib-ocaml-dev_0.27.0-2+b1_amd64.deb          12-Feb-2023 17:18            14005652
libppxlib-ocaml-dev_0.27.0-2+b1_arm64.deb          12-Feb-2023 17:28            14610660
libppxlib-ocaml-dev_0.27.0-2+b1_i386.deb           12-Feb-2023 17:18            13621868
libppxlib-ocaml-dev_0.35.0-1+b1_amd64.deb          14-Jun-2025 14:27            21948652
libppxlib-ocaml-dev_0.35.0-1+b1_arm64.deb          14-Jun-2025 16:20            22783032
libppxlib-ocaml-dev_0.35.0-1+b1_i386.deb           14-Jun-2025 16:14            17288504
libppxlib-ocaml-dev_0.36.1-1_amd64.deb             09-Sep-2025 18:38            22159500
libppxlib-ocaml-dev_0.36.1-1_arm64.deb             09-Sep-2025 18:38            22960808
libppxlib-ocaml-dev_0.36.1-1_i386.deb              09-Sep-2025 18:38            17537992
libppxlib-ocaml-dev_0.37.0-1_amd64.deb             16-Oct-2025 08:13            22756204
libppxlib-ocaml-dev_0.37.0-1_arm64.deb             16-Oct-2025 08:03            23522272
libppxlib-ocaml-dev_0.37.0-1_i386.deb              16-Oct-2025 08:08            17919396
ppxlib_0.15.0-1.debian.tar.xz                      08-Nov-2020 03:41                2816
ppxlib_0.15.0-1.dsc                                08-Nov-2020 03:41                1874
ppxlib_0.15.0.orig.tar.bz2                         08-Nov-2020 03:41              136419
ppxlib_0.27.0-2.debian.tar.xz                      11-Oct-2022 19:07                2908
ppxlib_0.27.0-2.dsc                                11-Oct-2022 19:07                2061
ppxlib_0.27.0.orig.tar.bz2                         17-Jul-2022 08:11              239693
ppxlib_0.35.0-1.debian.tar.xz                      12-Feb-2025 11:24                3228
ppxlib_0.35.0-1.dsc                                12-Feb-2025 11:24                1929
ppxlib_0.35.0.orig.tar.bz2                         12-Feb-2025 11:24              390303
ppxlib_0.36.1-1.debian.tar.xz                      09-Sep-2025 18:13                3244
ppxlib_0.36.1-1.dsc                                09-Sep-2025 18:13                1929
ppxlib_0.36.1.orig.tar.bz2                         09-Sep-2025 18:13              399328
ppxlib_0.37.0-1.debian.tar.xz                      16-Oct-2025 07:22                3284
ppxlib_0.37.0-1.dsc                                16-Oct-2025 07:22                1929
ppxlib_0.37.0.orig.tar.bz2                         16-Oct-2025 07:22              413133

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.