packages
[ Paquet source : splint ]
Paquet : splint (1:3.1.2+dfsg-5) [universe]
Liens pour splint
Ressources Ubuntu :
Télécharger le paquet source splint :
Responsable :
Please consider filing a bug or asking a question via Launchpad before contacting the maintainer directly.
Original Maintainer (usually from Debian):
- Debian QA Group
It should generally not be necessary for users to contact the original maintainer.
Ressources externes :
- Page d'accueil [www.splint.org]
Paquets similaires :
tool for statically checking C programs for bugs
Autres paquets associés à splint
|
|
|
|
-
- dep: libc6 (>= 2.33)
- GNU C Library: Shared libraries
-
- dep: libfl2 (>= 2.5.33)
- SHARED library for flex (a fast lexical analyzer generator)
-
- dep: splint-data (= 1:3.1.2+dfsg-5)
- 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 | Taille du paquet | Espace occupé une fois installé | Fichiers |
|---|---|---|---|
| amd64 | 685,5 ko | 2 332,0 ko | [liste des fichiers] |
| arm64 | 609,5 ko | 2 316,0 ko | [liste des fichiers] |
| armhf | 570,6 ko | 1 638,0 ko | [liste des fichiers] |
| ppc64el | 734,6 ko | 3 104,0 ko | [liste des fichiers] |
| riscv64 | 594,7 ko | 1 809,0 ko | [liste des fichiers] |
| s390x | 731,8 ko | 2 948,0 ko | [liste des fichiers] |