Index of /debian/pool/main/p/ppxfind/

directories: 0, files: 7

NameLast modifiedSize
../
ppxfind_1.4.orig.tar.gz2020-07-25 08:17:384.19 KiB
ppxfind_1.4-1.dsc2020-07-25 08:17:381.72 KiB
ppxfind_1.4-1.debian.tar.xz2020-07-25 08:17:382.07 KiB
ppxfind_1.4-1+b3_i386.deb2020-12-14 11:08:178.60 MiB
ppxfind_1.4-1+b2_armhf.deb2020-12-14 11:13:368.60 MiB
ppxfind_1.4-1+b2_arm64.deb2020-12-14 11:13:298.60 MiB
ppxfind_1.4-1+b2_amd64.deb2020-12-14 11:13:418.60 MiB