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/pool/universe/p/ppx-compare/

../
libppx-compare-ocaml-dev_0.13.0-1_amd64.deb        21-Feb-2020 10:43              183972
libppx-compare-ocaml-dev_0.14.0-1build6_amd64.deb  25-Jan-2022 12:30              242222
libppx-compare-ocaml-dev_0.15.0-1build1_amd64.deb  16-Feb-2023 07:29              247966
libppx-compare-ocaml-dev_0.16.0-4build2_amd64.deb  16-Feb-2024 12:54              243184
libppx-compare-ocaml-dev_0.17.0-1build2_amd64.deb  05-Sep-2024 19:07              318466
libppx-compare-ocaml_0.13.0-1_amd64.deb            21-Feb-2020 10:43               25468
libppx-compare-ocaml_0.14.0-1build6_amd64.deb      25-Jan-2022 12:30               31612
libppx-compare-ocaml_0.15.0-1build1_amd64.deb      16-Feb-2023 07:29               30856
libppx-compare-ocaml_0.16.0-4build2_amd64.deb      16-Feb-2024 12:54               29388
libppx-compare-ocaml_0.17.0-1build2_amd64.deb      05-Sep-2024 19:07               31814
ppx-compare_0.13.0-1.debian.tar.xz                 03-Feb-2020 11:23                2292
ppx-compare_0.13.0-1.dsc                           03-Feb-2020 11:23                1778
ppx-compare_0.13.0.orig.tar.gz                     03-Feb-2020 11:23               13256
ppx-compare_0.14.0-1build6.debian.tar.xz           25-Jan-2022 12:29                2596
ppx-compare_0.14.0-1build6.dsc                     25-Jan-2022 12:29                2273
ppx-compare_0.14.0.orig.tar.gz                     26-Jul-2020 11:13               13614
ppx-compare_0.15.0-1build1.debian.tar.xz           16-Feb-2023 07:29                2552
ppx-compare_0.15.0-1build1.dsc                     16-Feb-2023 07:29                2169
ppx-compare_0.15.0.orig.tar.gz                     04-Feb-2023 23:47               13905
ppx-compare_0.16.0-4build2.debian.tar.xz           16-Feb-2024 12:54                2600
ppx-compare_0.16.0-4build2.dsc                     16-Feb-2024 12:54                2174
ppx-compare_0.16.0.orig.tar.gz                     03-Jul-2023 17:29               14041
ppx-compare_0.17.0-1build2.debian.tar.xz           05-Sep-2024 19:06                2672
ppx-compare_0.17.0-1build2.dsc                     05-Sep-2024 19:06                2200
ppx-compare_0.17.0.orig.tar.gz                     05-Jul-2024 23:40               16468

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.