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

../
splint-dbgsym_3.1.2+dfsg-6_ppc64.deb               11-Dec-2025 18:03             1953884
splint_3.1.2+dfsg-6_ppc64.buildinfo                11-Dec-2025 18:03                5785
splint_3.1.2+dfsg-6_ppc64.deb                      11-Dec-2025 18:03              713328