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


../
splint-dbgsym_3.1.2+dfsg-5_ppc64.deb               22-Feb-2021 09:03      2M
splint_3.1.2+dfsg-5_ppc64.buildinfo                22-Feb-2021 09:03    5801
splint_3.1.2+dfsg-5_ppc64.deb                      22-Feb-2021 09:03    695K