Search in specific suite: [xolotl] [xolotl-updates] [xolotl-security] [xolotl-backports] [ecne] [ecne-updates] [ecne-security] [ecne-backports] [aramo] [aramo-updates] [aramo-security] [aramo-backports]
Limit search to a specific architecture: [amd64] [arm64] [armhf] [i386] [ppc64el] [riscv64]
You have searched for packages that names contain splint in all suites, all sections, and all architectures. Found 3 matching packages.
Exact hits
Package splint
- xolotl (13.0) (devel):
tool for statically checking C programs for bugs
1:3.1.2+dfsg-6: amd64 arm64 armhf ppc64el riscv64 - ecne (12.0LTS) (devel):
tool for statically checking C programs for bugs
1:3.1.2+dfsg-5: amd64 arm64 armhf ppc64el riscv64 - aramo (11.0LTS) (devel):
tool for statically checking C programs for bugs
1:3.1.2+dfsg-5: amd64 arm64 armhf ppc64el
Other hits
Package splint-data
- xolotl (13.0) (devel):
tool for statically checking C programs for bugs - data files
1:3.1.2+dfsg-6: all - ecne (12.0LTS) (devel):
tool for statically checking C programs for bugs - data files
1:3.1.2+dfsg-5: all - aramo (11.0LTS) (devel):
tool for statically checking C programs for bugs - data files
1:3.1.2+dfsg-5: all
Package splint-doc-html
- xolotl (13.0) (doc):
tool for statically checking C programs for bugs - HTML documentation
1:3.1.2+dfsg-6: all - ecne (12.0LTS) (doc):
tool for statically checking C programs for bugs - HTML documentation
1:3.1.2+dfsg-5: all - aramo (11.0LTS) (doc):
tool for statically checking C programs for bugs - HTML documentation
1:3.1.2+dfsg-5: all