Index of /ubuntu-ports/pool/universe/p/ppxfind/


../
ppxfind_1.3-1build1.debian.tar.xz                  21-Feb-2020 11:43                2160
ppxfind_1.3-1build1.dsc                            21-Feb-2020 11:43                2000
ppxfind_1.3-1build1_arm64.deb                      21-Feb-2020 11:53             7161672
ppxfind_1.3-1build1_armhf.deb                      21-Feb-2020 11:53             7162496
ppxfind_1.3.orig.tar.gz                            17-Sep-2019 03:03                4040