packages
[ Pakiet źródłowy: splint ]
Pakiet: splint (1:3.1.2+dfsg-7) [universe]
Odnośniki dla splint
Zasoby systemu Ubuntu:
Pobieranie pakietu źródłowego splint:
Opiekun:
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.
Zasoby zewnętrzne:
- Strona internetowa [www.splint.org]
Podobne pakiety:
tool for statically checking C programs for bugs
Inne pakiety związane z splint
|
|
|
|
-
- dep: libc6 (>= 2.34)
- GNU C Library: Shared libraries
-
- dep: splint-data (= 1:3.1.2+dfsg-7)
- tool for statically checking C programs for bugs - data files
-
- sug: splint-doc-html
- tool for statically checking C programs for bugs - HTML documentation
Pobieranie splint
| Architektura | Rozmiar pakietu | Rozmiar po instalacji | Pliki |
|---|---|---|---|
| amd64 | 746,0 KiB | 2 224,0 KiB | [lista plików] |
| arm64 | 706,5 KiB | 2 268,0 KiB | [lista plików] |
| armhf | 638,8 KiB | 1 684,0 KiB | [lista plików] |
| ppc64el | 925,1 KiB | 3 036,0 KiB | [lista plików] |
| riscv64 | 761,4 KiB | 2 161,0 KiB | [lista plików] |
| s390x | 754,8 KiB | 2 364,0 KiB | [lista plików] |