[ Paquet source : splint ]
Paquet : splint (3.1.2.dfsg1-2 et autres)
Liens pour splint
Ressources Debian :
- Rapports de bogues
- Informations pour les développeurs (PTS)
- Journal des modifications Debian
- Fichier de licence
- Suivis des correctifs pour Debian
Télécharger le paquet source splint :
Responsable :
Ressources externes :
- Page d'accueil [www.splint.org]
Paquets similaires :
tool for statically checking C programs for bugs
Autres paquets associés à splint
|
|
|
-
- dep: libc0.1 (>= 2.3) [kfreebsd-amd64, kfreebsd-i386]
- Embedded GNU C Library: Shared libraries
un paquet virtuel est également fourni par libc0.1-udeb
-
- dep: libc0.3 (>= 2.7-1) [hurd-i386]
- Embedded GNU C Library: Shared libraries
un paquet virtuel est également fourni par libc0.3-udeb
-
- dep: libc6 (>= 2.11) [powerpcspe]
- Embedded GNU C Library: Shared libraries
un paquet virtuel est également fourni par 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
un paquet virtuel est également fourni par 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
Télécharger splint
| Architecture | Version | Taille du paquet | Espace occupé une fois installé | Fichiers |
|---|---|---|---|---|
| alpha | 3.1.2.dfsg1-2 | 796,1 ko | 2 436,0 ko | [liste des fichiers] |
| amd64 | 3.1.2.dfsg1-2 | 749,0 ko | 1 836,0 ko | [liste des fichiers] |
| armel | 3.1.2.dfsg1-2 | 656,0 ko | 1 540,0 ko | [liste des fichiers] |
| armhf | 3.1.2.dfsg1-2 | 609,9 ko | 1 163,0 ko | [liste des fichiers] |
| avr32 (portage non officiel) | 3.1.2.dfsg1-2 | 671,4 ko | 1 364,0 ko | [liste des fichiers] |
| hppa | 3.1.2.dfsg1-2 | 740,2 ko | 1 732,0 ko | [liste des fichiers] |
| hurd-i386 | 3.1.2.dfsg1-2 | 680,3 ko | 1 684,0 ko | [liste des fichiers] |
| i386 | 3.1.2.dfsg1-2 | 680,0 ko | 1 684,0 ko | [liste des fichiers] |
| ia64 | 3.1.2.dfsg1-2 | 1 081,5 ko | 3 900,0 ko | [liste des fichiers] |
| kfreebsd-amd64 | 3.1.2.dfsg1-2 | 748,5 ko | 1 828,0 ko | [liste des fichiers] |
| kfreebsd-i386 | 3.1.2.dfsg1-2 | 679,5 ko | 1 668,0 ko | [liste des fichiers] |
| m68k (portage non officiel) | 3.1.2.dfsg1-2 | 546,9 ko | 1 708,0 ko | [liste des fichiers] |
| mips | 3.1.2.dfsg1-2 | 691,1 ko | 2 524,0 ko | [liste des fichiers] |
| mipsel | 3.1.2.dfsg1-2 | 687,5 ko | 2 524,0 ko | [liste des fichiers] |
| powerpc | 3.1.2.dfsg1-2 | 690,5 ko | 1 816,0 ko | [liste des fichiers] |
| powerpcspe (portage non officiel) | 3.1.2.dfsg1-2+b100 | 684,0 ko | 1 732,0 ko | [liste des fichiers] |
| s390 | 3.1.2.dfsg1-2 | 698,6 ko | 1 792,0 ko | [liste des fichiers] |
| s390x | 3.1.2.dfsg1-2 | 774,3 ko | 1 988,0 ko | [liste des fichiers] |
| sh4 (portage non officiel) | 3.1.2.dfsg1-2 | 687,5 ko | 1 740,0 ko | [liste des fichiers] |
| sparc | 3.1.2.dfsg1-2 | 652,1 ko | 1 628,0 ko | [liste des fichiers] |
| sparc64 (portage non officiel) | 3.1.2.dfsg1-2 | 675,2 ko | 1 656,0 ko | [liste des fichiers] |
