Index of /pub/os/linux/ubuntu/pool/universe/p/ppxfind/

Filename	Modification time	Size
ppxfind_1.3-1build1.debian.tar.xz	2020-02-21 12:43 CET	2160 B
ppxfind_1.3-1build1.dsc	2020-02-21 12:43 CET	2000 B
ppxfind_1.3-1build1_amd64.deb	2020-02-21 12:53 CET	6994 KiB
ppxfind_1.3.orig.tar.gz	2019-09-17 05:03 CEST	4040 B