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


../
splint-dbgsym_3.1.2+dfsg-5_ppc64.deb               22-Feb-2021 00:03             1976652
splint_3.1.2+dfsg-5_ppc64.buildinfo                22-Feb-2021 00:03                5801
splint_3.1.2+dfsg-5_ppc64.deb                      22-Feb-2021 00:03              712016