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-ports/pool/universe/p/ppxlib/

../
libppxlib-ocaml-dev_0.12.0-1build1_arm64.deb       21-Feb-2020 09:38            14042104
libppxlib-ocaml-dev_0.12.0-1build1_armhf.deb       21-Feb-2020 09:33            11887756
libppxlib-ocaml-dev_0.24.0-1build2_arm64.deb       28-Jan-2022 15:28            17411874
libppxlib-ocaml-dev_0.24.0-1build2_armhf.deb       28-Jan-2022 15:28            16287766
libppxlib-ocaml-dev_0.32.0-1_arm64.deb             15-Feb-2024 18:29            20476372
libppxlib-ocaml-dev_0.32.0-1_armhf.deb             15-Feb-2024 18:29            19336296
libppxlib-ocaml-dev_0.33.0-1build1_arm64.deb       05-Sep-2024 12:40            26110800
libppxlib-ocaml-dev_0.33.0-1build1_armhf.deb       05-Sep-2024 12:40            19293338
libppxlib-ocaml-dev_0.33.0-2_arm64.deb             01-Nov-2024 01:03            26108738
libppxlib-ocaml-dev_0.33.0-2_armhf.deb             01-Nov-2024 01:07            19293612
libppxlib-ocaml-dev_0.35.0-1_arm64.deb             13-Feb-2025 00:19            23691064
libppxlib-ocaml-dev_0.35.0-1_armhf.deb             13-Feb-2025 00:20            17373526
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.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
ppxlib_0.35.0-1.debian.tar.xz                      13-Feb-2025 00:18                3228
ppxlib_0.35.0-1.dsc                                13-Feb-2025 00:18                1929
ppxlib_0.35.0.orig.tar.bz2                         13-Feb-2025 00:18              390303

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.