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-here/

../
libppx-here-ocaml-dev_0.14.0-1build6_arm64.deb     25-Jan-2022 12:30             4450726
libppx-here-ocaml-dev_0.14.0-1build6_armhf.deb     25-Jan-2022 12:30             3527110
libppx-here-ocaml-dev_0.16.0-4build2_arm64.deb     16-Feb-2024 12:54             4751656
libppx-here-ocaml-dev_0.16.0-4build2_armhf.deb     16-Feb-2024 12:55             3748028
libppx-here-ocaml-dev_0.17.0-1build2_arm64.deb     05-Sep-2024 14:52             5348852
libppx-here-ocaml-dev_0.17.0-1build2_armhf.deb     05-Sep-2024 14:52              785328
libppx-here-ocaml-dev_0.17.0-1build5_arm64.deb     13-Feb-2025 23:33             5289774
libppx-here-ocaml-dev_0.17.0-1build5_armhf.deb     13-Feb-2025 23:33              807646
libppx-here-ocaml_0.14.0-1build6_arm64.deb         25-Jan-2022 12:30               20078
libppx-here-ocaml_0.14.0-1build6_armhf.deb         25-Jan-2022 12:30               19370
libppx-here-ocaml_0.16.0-4build2_arm64.deb         16-Feb-2024 12:54               20384
libppx-here-ocaml_0.16.0-4build2_armhf.deb         16-Feb-2024 12:55               19640
libppx-here-ocaml_0.17.0-1build2_arm64.deb         05-Sep-2024 14:52               22036
libppx-here-ocaml_0.17.0-1build2_armhf.deb         05-Sep-2024 14:52               14978
libppx-here-ocaml_0.17.0-1build5_arm64.deb         13-Feb-2025 23:33               22308
libppx-here-ocaml_0.17.0-1build5_armhf.deb         13-Feb-2025 23:33               15170
ppx-here_0.14.0-1build6.debian.tar.xz              25-Jan-2022 12:29                2540
ppx-here_0.14.0-1build6.dsc                        25-Jan-2022 12:29                2228
ppx-here_0.14.0.orig.tar.gz                        29-Jul-2020 17:24                5005
ppx-here_0.16.0-4build2.debian.tar.xz              16-Feb-2024 12:54                2564
ppx-here_0.16.0-4build2.dsc                        16-Feb-2024 12:54                2129
ppx-here_0.16.0.orig.tar.gz                        03-Jul-2023 17:29                5034
ppx-here_0.17.0-1build2.debian.tar.xz              05-Sep-2024 14:51                2640
ppx-here_0.17.0-1build2.dsc                        05-Sep-2024 14:51                2129
ppx-here_0.17.0-1build5.debian.tar.xz              13-Feb-2025 23:33                2696
ppx-here_0.17.0-1build5.dsc                        13-Feb-2025 23:33                2129
ppx-here_0.17.0.orig.tar.gz                        18-Jun-2024 06:05                5138

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.