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

../
splint-dbgsym_3.1.2+dfsg-5_x32.deb                 22-Feb-2021 12:03             1785600
splint_3.1.2+dfsg-5_x32.buildinfo                  22-Feb-2021 12:03                5692
splint_3.1.2+dfsg-5_x32.deb                        22-Feb-2021 12:03              719612