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

../
splint-dbgsym_3.1.2+dfsg-7_ppc64.deb               15-May-2026 00:03             1953992
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              713588