Index of /pub/linux/INSTALL/Ubuntu/archive/ubuntu/pool/universe/p/ppx-globalize
Name Last modified Size Description
Parent Directory -
ppx-globalize_0.16.0-5build2.dsc 2024-02-16 12:54 2.1K
ppx-globalize_0.17.0-1build2.dsc 2024-09-05 19:06 2.1K
ppx-globalize_0.16.0-5build2.debian.tar.xz 2024-02-16 12:54 2.2K
ppx-globalize_0.17.0-1build2.debian.tar.xz 2024-09-05 19:06 2.3K
ppx-globalize_0.16.0.orig.tar.gz 2023-06-24 11:44 8.1K
ppx-globalize_0.17.0.orig.tar.gz 2024-07-05 23:40 8.5K
libppx-globalize-ocaml_0.17.0-1build2_amd64.deb 2024-09-05 19:07 167K
libppx-globalize-ocaml_0.16.0-5build2_amd64.deb 2024-02-16 12:54 241K
libppx-globalize-ocaml-dev_0.17.0-1build2_amd64.deb 2024-09-05 19:07 278K
libppx-globalize-ocaml-dev_0.16.0-5build2_amd64.deb 2024-02-16 12:54 301K