Index of /ubuntu/pool/universe/p/ppxlib
Name Last modified Size Description
Parent Directory -
ppxlib_0.33.0.orig.tar.bz2 2024-08-21 08:58 373K
ppxlib_0.33.0-2.dsc 2024-10-31 20:04 1.9K
ppxlib_0.33.0-2.debian.tar.xz 2024-10-31 20:04 3.1K
ppxlib_0.33.0-1build1.dsc 2024-09-05 13:40 2.0K
ppxlib_0.33.0-1build1.debian.tar.xz 2024-09-05 13:40 3.2K
ppxlib_0.32.0.orig.tar.bz2 2024-02-15 18:24 356K
ppxlib_0.32.0-1.dsc 2024-02-15 18:24 1.8K
ppxlib_0.32.0-1.debian.tar.xz 2024-02-15 18:24 3.1K
ppxlib_0.24.0.orig.tar.bz2 2022-01-21 00:28 218K
ppxlib_0.24.0-1build2.dsc 2022-01-28 16:28 2.0K
ppxlib_0.24.0-1build2.debian.tar.xz 2022-01-28 16:28 2.8K
ppxlib_0.12.0.orig.tar.gz 2020-01-14 00:18 164K
ppxlib_0.12.0-1build1.dsc 2020-02-21 08:53 2.2K
ppxlib_0.12.0-1build1.debian.tar.xz 2020-02-21 08:53 2.8K
libppxlib-ocaml-dev_0.33.0-2_amd64.deb 2024-11-01 01:58 24M
libppxlib-ocaml-dev_0.33.0-1build1_amd64.deb 2024-09-05 14:40 24M
libppxlib-ocaml-dev_0.32.0-1_amd64.deb 2024-02-15 19:29 19M
libppxlib-ocaml-dev_0.24.0-1build2_amd64.deb 2022-01-28 16:28 16M
libppxlib-ocaml-dev_0.12.0-1build1_amd64.deb 2020-02-21 10:28 11M