Index of /Raspbian/raspbian/pool/main/p/ppxlib
Name Last modified Size Description
Parent Directory -
libppxlib-ocaml-dev_0.32.1-1_armhf.deb 2024-06-24 18:08 15M
libppxlib-ocaml-dev_0.27.0-2+b2_armhf.deb 2023-05-19 20:58 13M
libppxlib-ocaml-dev_0.15.0-1+b2_armhf.deb 2020-12-21 20:12 12M
ppxlib_0.32.1.orig.tar.bz2 2024-06-03 19:48 363K
ppxlib_0.27.0.orig.tar.bz2 2022-07-17 16:11 234K
ppxlib_0.15.0.orig.tar.bz2 2020-11-08 11:41 133K
ppxlib_0.32.1-1.debian.tar.xz 2024-06-03 19:48 3.1K
ppxlib_0.27.0-2.debian.tar.xz 2022-10-12 03:07 2.8K
ppxlib_0.15.0-1.debian.tar.xz 2020-11-08 11:41 2.8K
ppxlib_0.27.0-2.dsc 2022-10-12 03:07 2.0K
ppxlib_0.15.0-1.dsc 2020-11-08 11:41 1.8K
ppxlib_0.32.1-1.dsc 2024-06-03 19:48 1.8K
Apache/2.4.59 (Debian) Server at mirror.freedif.org Port 443