packages
[ Quellcode: splint ]
Paket: splint (1:3.1.2+dfsg-6) [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.34)
- GNU C Library: Shared libraries
-
- dep: splint-data (= 1:3.1.2+dfsg-6)
- 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 | 745,9 kB | 2.223,0 kB | [Liste der Dateien] |
| arm64 | 706,1 kB | 2.267,0 kB | [Liste der Dateien] |
| armhf | 638,6 kB | 1.683,0 kB | [Liste der Dateien] |
| ppc64el | 925,0 kB | 3.035,0 kB | [Liste der Dateien] |
| riscv64 | 761,2 kB | 2.160,0 kB | [Liste der Dateien] |
| s390x | 754,8 kB | 2.363,0 kB | [Liste der Dateien] |