[ Source: splint ]
Package: splint (3.1.2.dfsg1-2 and others)
Links for splint
Debian Resources:
Download Source Package splint:
Maintainer:
External Resources:
- Homepage [www.splint.org]
Similar packages:
tool for statically checking C programs for bugs
Other Packages Related to splint
|
|
|
-
- dep: libc0.1 (>= 2.3) [kfreebsd-amd64, kfreebsd-i386]
- Embedded GNU C Library: Shared libraries
also a virtual package provided by libc0.1-udeb
-
- dep: libc0.3 (>= 2.7-1) [hurd-i386]
- Embedded GNU C Library: Shared libraries
also a virtual package provided by libc0.3-udeb
-
- dep: libc6 (>= 2.11) [powerpcspe]
- Embedded GNU C Library: Shared libraries
also a virtual package provided by libc6-udeb
- dep: libc6 (>= 2.13) [s390x]
- dep: libc6 (>= 2.3) [amd64]
- dep: libc6 (>= 2.5) [avr32]
- dep: libc6 (>= 2.5-5) [m68k]
- dep: libc6 (>= 2.7) [armhf, sparc64]
- dep: libc6 (>= 2.7-1) [armel, hppa, i386, mips, mipsel, powerpc, s390, sparc]
- dep: libc6 (>= 2.9) [sh4]
-
- dep: libc6.1 (>= 2.7-1) [alpha, ia64]
- Embedded GNU C Library: Shared libraries
also a virtual package provided by libc6.1-udeb
-
- dep: splint-data (= 3.1.2.dfsg1-2)
- tool for statically checking C programs for bugs - data files
-
- sug: splint-doc-html
- tool for statically checking C programs for bugs - HTML documentation
Download splint
| Architecture | Version | Package Size | Installed Size | Files |
|---|---|---|---|---|
| alpha | 3.1.2.dfsg1-2 | 796.1 kB | 2,436.0 kB | [list of files] |
| amd64 | 3.1.2.dfsg1-2 | 749.0 kB | 1,836.0 kB | [list of files] |
| armel | 3.1.2.dfsg1-2 | 656.0 kB | 1,540.0 kB | [list of files] |
| armhf | 3.1.2.dfsg1-2 | 609.9 kB | 1,163.0 kB | [list of files] |
| avr32 (unofficial port) | 3.1.2.dfsg1-2 | 671.4 kB | 1,364.0 kB | [list of files] |
| hppa | 3.1.2.dfsg1-2 | 740.2 kB | 1,732.0 kB | [list of files] |
| hurd-i386 | 3.1.2.dfsg1-2 | 680.3 kB | 1,684.0 kB | [list of files] |
| i386 | 3.1.2.dfsg1-2 | 680.0 kB | 1,684.0 kB | [list of files] |
| ia64 | 3.1.2.dfsg1-2 | 1,081.5 kB | 3,900.0 kB | [list of files] |
| kfreebsd-amd64 | 3.1.2.dfsg1-2 | 748.5 kB | 1,828.0 kB | [list of files] |
| kfreebsd-i386 | 3.1.2.dfsg1-2 | 679.5 kB | 1,668.0 kB | [list of files] |
| m68k (unofficial port) | 3.1.2.dfsg1-2 | 546.9 kB | 1,708.0 kB | [list of files] |
| mips | 3.1.2.dfsg1-2 | 691.1 kB | 2,524.0 kB | [list of files] |
| mipsel | 3.1.2.dfsg1-2 | 687.5 kB | 2,524.0 kB | [list of files] |
| powerpc | 3.1.2.dfsg1-2 | 690.5 kB | 1,816.0 kB | [list of files] |
| powerpcspe (unofficial port) | 3.1.2.dfsg1-2+b100 | 684.0 kB | 1,732.0 kB | [list of files] |
| s390 | 3.1.2.dfsg1-2 | 698.6 kB | 1,792.0 kB | [list of files] |
| s390x | 3.1.2.dfsg1-2 | 774.3 kB | 1,988.0 kB | [list of files] |
| sh4 (unofficial port) | 3.1.2.dfsg1-2 | 687.5 kB | 1,740.0 kB | [list of files] |
| sparc | 3.1.2.dfsg1-2 | 652.1 kB | 1,628.0 kB | [list of files] |
| sparc64 (unofficial port) | 3.1.2.dfsg1-2 | 675.2 kB | 1,656.0 kB | [list of files] |