Index of /debian-ports/pool-ppc64/main/s/splint/

../
splint-dbgsym_3.1.2+dfsg-7_ppc64.deb               15-May-2026 00:03      2M
splint_3.1.2+dfsg-7_ppc64.buildinfo                15-May-2026 00:03    5706
splint_3.1.2+dfsg-7_ppc64.deb                      15-May-2026 00:03    697K