Index of /ubuntu-ports/pool/universe/p/ppxfind
Name Last modified Size Description
Parent Directory -
ppxfind_1.3-1build1.debian.tar.xz 2020-02-21 12:43 2.1K
ppxfind_1.3-1build1.dsc 2020-02-21 12:43 2.0K
ppxfind_1.3-1build1_arm64.deb 2020-02-21 12:53 6.8M
ppxfind_1.3-1build1_armhf.deb 2020-02-21 12:53 6.8M
ppxfind_1.3-1build1_ppc64el.deb 2020-02-21 12:53 6.8M
ppxfind_1.3-1build1_riscv64.deb 2020-04-05 05:28 6.8M
ppxfind_1.3-1build1_s390x.deb 2020-02-21 12:53 6.8M
ppxfind_1.3.orig.tar.gz 2019-09-17 05:03 3.9K
Apache/2.4.41 (Ubuntu) Server at ftp.uni-erlangen.de Port 443