[ Bron: splint ]
Pakket: splint (3.1.2.dfsg1-2 en anderen)
Verwijzigingen voor splint
Debian bronnen:
- Probleemrapporten
- Developer Information (PTS)
- Debian Changelog
- Copyright-bestand
- Debian Patch Tracker
Het bronpakket splint downloaden:
Beheerder:
Externe bronnen:
- Homepage [www.splint.org]
Vergelijkbare pakketten:
tool for statically checking C programs for bugs
Andere aan splint gerelateerde pakketten
|
|
|
-
- dep: libc0.1 (>= 2.3) [kfreebsd-amd64, kfreebsd-i386]
- Embedded GNU C Library: Shared libraries
Ook een virtueel pakket geboden door: libc0.1-udeb
-
- dep: libc0.3 (>= 2.7-1) [hurd-i386]
- Embedded GNU C Library: Shared libraries
Ook een virtueel pakket geboden door: libc0.3-udeb
-
- dep: libc6 (>= 2.11) [powerpcspe]
- Embedded GNU C Library: Shared libraries
Ook een virtueel pakket geboden door: 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
Ook een virtueel pakket geboden door: 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
splint downloaden
| Platform | Versie | Pakketgrootte | Geïnstalleerde grootte | Bestanden |
|---|---|---|---|---|
| alpha | 3.1.2.dfsg1-2 | 796,1 kB | 2.436,0 kB | [overzicht] |
| amd64 | 3.1.2.dfsg1-2 | 749,0 kB | 1.836,0 kB | [overzicht] |
| armel | 3.1.2.dfsg1-2 | 656,0 kB | 1.540,0 kB | [overzicht] |
| armhf | 3.1.2.dfsg1-2 | 609,9 kB | 1.163,0 kB | [overzicht] |
| avr32 (unofficial port) | 3.1.2.dfsg1-2 | 671,4 kB | 1.364,0 kB | [overzicht] |
| hppa | 3.1.2.dfsg1-2 | 740,2 kB | 1.732,0 kB | [overzicht] |
| hurd-i386 | 3.1.2.dfsg1-2 | 680,3 kB | 1.684,0 kB | [overzicht] |
| i386 | 3.1.2.dfsg1-2 | 680,0 kB | 1.684,0 kB | [overzicht] |
| ia64 | 3.1.2.dfsg1-2 | 1.081,5 kB | 3.900,0 kB | [overzicht] |
| kfreebsd-amd64 | 3.1.2.dfsg1-2 | 748,5 kB | 1.828,0 kB | [overzicht] |
| kfreebsd-i386 | 3.1.2.dfsg1-2 | 679,5 kB | 1.668,0 kB | [overzicht] |
| m68k (unofficial port) | 3.1.2.dfsg1-2 | 546,9 kB | 1.708,0 kB | [overzicht] |
| mips | 3.1.2.dfsg1-2 | 691,1 kB | 2.524,0 kB | [overzicht] |
| mipsel | 3.1.2.dfsg1-2 | 687,5 kB | 2.524,0 kB | [overzicht] |
| powerpc | 3.1.2.dfsg1-2 | 690,5 kB | 1.816,0 kB | [overzicht] |
| powerpcspe (unofficial port) | 3.1.2.dfsg1-2+b100 | 684,0 kB | 1.732,0 kB | [overzicht] |
| s390 | 3.1.2.dfsg1-2 | 698,6 kB | 1.792,0 kB | [overzicht] |
| s390x | 3.1.2.dfsg1-2 | 774,3 kB | 1.988,0 kB | [overzicht] |
| sh4 (unofficial port) | 3.1.2.dfsg1-2 | 687,5 kB | 1.740,0 kB | [overzicht] |
| sparc | 3.1.2.dfsg1-2 | 652,1 kB | 1.628,0 kB | [overzicht] |
| sparc64 (unofficial port) | 3.1.2.dfsg1-2 | 675,2 kB | 1.656,0 kB | [overzicht] |