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-1build2_arm64.deb     12-Aug-2024 13:19            11957966
libppx-base-ocaml-dev_0.17.0-1build2_armhf.deb     12-Aug-2024 13:19              932630
libppx-base-ocaml-dev_0.17.0-1build3_arm64.deb     23-Jan-2025 23:58            12251118
libppx-base-ocaml-dev_0.17.0-1build3_armhf.deb     23-Jan-2025 23:58              967878
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_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-1build2_arm64.deb         12-Aug-2024 13:19                5494
libppx-base-ocaml_0.17.0-1build2_armhf.deb         12-Aug-2024 13:19                3868
libppx-base-ocaml_0.17.0-1build3_arm64.deb         23-Jan-2025 23:58                5536
libppx-base-ocaml_0.17.0-1build3_armhf.deb         23-Jan-2025 23:58                3912
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
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-1build2.debian.tar.xz              09-Aug-2024 13:49                2440
ppx-base_0.17.0-1build2.dsc                        09-Aug-2024 13:49                2249
ppx-base_0.17.0-1build3.debian.tar.xz              23-Jan-2025 09:05                2472
ppx-base_0.17.0-1build3.dsc                        23-Jan-2025 09:05                2249
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.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.