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

../
splint-dbgsym_3.1.2+dfsg-6_x32.deb                 11-Dec-2025 12:03             1859220
splint_3.1.2+dfsg-6_x32.buildinfo                  11-Dec-2025 12:03                5782
splint_3.1.2+dfsg-6_x32.deb                        11-Dec-2025 12:03              721168