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

../
libppx-deriving-ocaml-dev_4.1-1.1_amd64.deb        30-Oct-2017 20:13              259336
libppx-deriving-ocaml-dev_4.1-1.1_i386.deb         30-Oct-2017 20:13              261316
libppx-deriving-ocaml-dev_4.4-2build1_amd64.deb    21-Feb-2020 14:33              768128
libppx-deriving-ocaml-dev_5.2.1-1build1_amd64.deb  25-Jan-2022 14:14              918156
libppx-deriving-ocaml-dev_5.2.1-1build4_amd64.deb  16-Feb-2023 10:58              928272
libppx-deriving-ocaml-dev_5.2.1-4_amd64.deb        06-Aug-2023 11:29              928152
libppx-deriving-ocaml-dev_5.2.1-4build2_amd64.deb  16-Feb-2024 12:54              939634
libppx-deriving-ocaml_4.1-1.1_amd64.deb            30-Oct-2017 20:13             1942972
libppx-deriving-ocaml_4.1-1.1_i386.deb             30-Oct-2017 20:13             1730352
libppx-deriving-ocaml_4.4-2build1_amd64.deb        21-Feb-2020 14:33             2876940
libppx-deriving-ocaml_5.2.1-1build1_amd64.deb      25-Jan-2022 14:14             4284356
libppx-deriving-ocaml_5.2.1-1build4_amd64.deb      16-Feb-2023 10:58             4303648
libppx-deriving-ocaml_5.2.1-4_amd64.deb            06-Aug-2023 11:29             4405718
libppx-deriving-ocaml_5.2.1-4build2_amd64.deb      16-Feb-2024 12:54             4532118
ppx-deriving_4.1-1.1.debian.tar.xz                 30-Oct-2017 20:10                4280
ppx-deriving_4.1-1.1.dsc                           30-Oct-2017 20:10                2208
ppx-deriving_4.1.orig.tar.gz                       21-Jul-2017 23:08               46502
ppx-deriving_4.4-2build1.debian.tar.xz             21-Feb-2020 07:53                3800
ppx-deriving_4.4-2build1.dsc                       21-Feb-2020 07:53                2538
ppx-deriving_4.4.orig.tar.gz                       13-Sep-2019 05:53               44830
ppx-deriving_5.2.1-1build1.debian.tar.xz           25-Jan-2022 14:14                3828
ppx-deriving_5.2.1-1build1.dsc                     25-Jan-2022 14:14                2385
ppx-deriving_5.2.1-1build4.debian.tar.xz           16-Feb-2023 10:06                3884
ppx-deriving_5.2.1-1build4.dsc                     16-Feb-2023 10:06                2360
ppx-deriving_5.2.1-4.debian.tar.xz                 06-Aug-2023 11:29                3788
ppx-deriving_5.2.1-4.dsc                           06-Aug-2023 11:29                2141
ppx-deriving_5.2.1-4build2.debian.tar.xz           16-Feb-2024 12:54                3848
ppx-deriving_5.2.1-4build2.dsc                     16-Feb-2024 12:54                2369
ppx-deriving_5.2.1.orig.tar.bz2                    21-Jan-2022 11:39               40229

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.