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/ppx-base/

../
libppx-base-ocaml-dev_0.16.0-4build1_arm64.deb     16-Feb-2024 16:13            10761594
libppx-base-ocaml-dev_0.16.0-4build1_armhf.deb     16-Feb-2024 16:13             8558514
libppx-base-ocaml-dev_0.17.0-1build5_arm64.deb     14-Feb-2025 16:03            12064454
libppx-base-ocaml-dev_0.17.0-1build5_armhf.deb     14-Feb-2025 16:03              989266
libppx-base-ocaml-dev_0.17.0-1build6_arm64.deb     17-Jun-2025 21:07            12076048
libppx-base-ocaml-dev_0.17.0-1build6_armhf.deb     17-Jun-2025 21:07              988922
libppx-base-ocaml-dev_0.17.0-1build7_arm64.deb     19-Oct-2025 20:13            12170604
libppx-base-ocaml-dev_0.17.0-1build7_armhf.deb     19-Oct-2025 20:13              993458
libppx-base-ocaml_0.16.0-4build1_arm64.deb         16-Feb-2024 16:13                5228
libppx-base-ocaml_0.16.0-4build1_armhf.deb         16-Feb-2024 16:13                5200
libppx-base-ocaml_0.17.0-1build5_arm64.deb         14-Feb-2025 16:03                5656
libppx-base-ocaml_0.17.0-1build5_armhf.deb         14-Feb-2025 16:03                4008
libppx-base-ocaml_0.17.0-1build6_arm64.deb         17-Jun-2025 21:07                5696
libppx-base-ocaml_0.17.0-1build6_armhf.deb         17-Jun-2025 21:07                4050
libppx-base-ocaml_0.17.0-1build7_arm64.deb         19-Oct-2025 20:13                5552
libppx-base-ocaml_0.17.0-1build7_armhf.deb         19-Oct-2025 20:13                3998
ppx-base_0.16.0-4build1.debian.tar.xz              16-Feb-2024 16:12                2380
ppx-base_0.16.0-4build1.dsc                        16-Feb-2024 16:12                2249
ppx-base_0.16.0.orig.tar.gz                        24-Jun-2023 11:44                2996
ppx-base_0.17.0-1build5.debian.tar.xz              13-Feb-2025 23:33                2500
ppx-base_0.17.0-1build5.dsc                        13-Feb-2025 23:33                2249
ppx-base_0.17.0-1build6.debian.tar.xz              17-Jun-2025 03:34                2524
ppx-base_0.17.0-1build6.dsc                        17-Jun-2025 03:34                2249
ppx-base_0.17.0-1build7.debian.tar.xz              19-Oct-2025 09:13                2548
ppx-base_0.17.0-1build7.dsc                        19-Oct-2025 09:13                2249
ppx-base_0.17.0.orig.tar.gz                        14-Jun-2024 06:04                3047

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.