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

../
splint-dbgsym_3.1.2+dfsg-5_x32.deb                 22-Feb-2021 21:03      2M
splint_3.1.2+dfsg-5_x32.buildinfo                  22-Feb-2021 21:03    5692
splint_3.1.2+dfsg-5_x32.deb                        22-Feb-2021 21:03    703K