Paquet : splint (3.1.2.dfsg1-2 et autres)

[ Paquet source : splint  ]

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

Télécharger pour toutes les architectures proposées

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]