Source Package: splint (3.1.2.dfsg1-2)
Links for splint
Debian Resources:
- Bug Reports
- Developer Information (PTS)
- Debian Changelog
- Copyright File
- Debian Source Repository (Subversion)
- Debian Patch Tracker
Maintainer:
External Resources:
- Homepage [www.splint.org]
The following binary packages are built from this source package:
- splint
- tool for statically checking C programs for bugs
- splint-data
- tool for statically checking C programs for bugs - data files
- splint-doc-html
- tool for statically checking C programs for bugs - HTML documentation
Other Packages Related to splint
|
|
-
- adep: debhelper (>= 6.0.7~)
- helper programs for debian/rules
-
- adep: autotools-dev
- Update infrastructure for config.{guess,sub} files
-
- adep: dpatch
- patch maintenance system for Debian source packages
-
- adep: flex
- A fast lexical analyzer generator.
Download splint
| File | Size (in kB) | MD5 checksum |
|---|---|---|
| splint_3.1.2.dfsg1-2.dsc | 1.3 kB | 3416eb715c22238862374d3b9328b5b5 |
| splint_3.1.2.dfsg1.orig.tar.gz | 1,776.2 kB | 603fe0331a205c4bc99159297da58cee |
| splint_3.1.2.dfsg1-2.diff.gz | 24.0 kB | 16c2a5bf87009fe4e69d08ded7c9030f |
- Debian Package Source Repository (VCS: Subversion)
- svn://svn.debian.org/svn/collab-maint/ext-maint/splint/unstable
- Debian Package Source Repository (Browsable)
- http://svn.debian.org/wsvn/collab-maint/ext-maint/splint/unstable/?op=log