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

../
splint-dbgsym_3.1.2+dfsg-5_x32.deb                                                                                       22-Feb-2021 12:03      2M
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    703K