[ Source: splint ]
Package: splint-data (1:3.1.2+dfsg-5) [universe]
Links for splint-data
ScreenshotUbuntu Resources:
Download Source Package splint:
Maintainer:
Please consider filing a bug or asking a question via Launchpad before contacting the maintainer directly.
Original Maintainer (usually from Debian):
- Debian QA Group
It should generally not be necessary for users to contact the original maintainer.
External Resources:
- Homepage [www.splint.org]
Similar packages:
tool for statically checking C programs for bugs - data files
Download splint-data
| Architecture | Package Size | Installed Size | Files |
|---|---|---|---|
| all | 55.9 kB | 572.0 kB | [list of files] |