packages
[ Quellcode: splint ]
Paket: splint (1:3.1.2+dfsg-5) [universe]
Links für splint
Ubuntu-Ressourcen:
Quellcode-Paket splint herunterladen:
Betreuer:
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.
Externe Ressourcen:
- Homepage [www.splint.org]
Ähnliche Pakete:
tool for statically checking C programs for bugs
Andere Pakete mit Bezug zu 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
splint herunterladen
| Architektur | Paketgröße | Größe (installiert) | Dateien |
|---|---|---|---|
| amd64 | 685,5 kB | 2.332,0 kB | [Liste der Dateien] |
| arm64 | 609,5 kB | 2.316,0 kB | [Liste der Dateien] |
| armhf | 570,6 kB | 1.638,0 kB | [Liste der Dateien] |
| ppc64el | 734,6 kB | 3.104,0 kB | [Liste der Dateien] |
| riscv64 | 594,7 kB | 1.809,0 kB | [Liste der Dateien] |
| s390x | 731,8 kB | 2.948,0 kB | [Liste der Dateien] |