packages
[ Pakiet źródłowy: splint ]
Pakiet: splint (1:3.1.2+dfsg-5) [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.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
Pobieranie splint
| Architektura | Rozmiar pakietu | Rozmiar po instalacji | Pliki |
|---|---|---|---|
| amd64 | 685,5 KiB | 2 332,0 KiB | [lista plików] |
| arm64 | 609,5 KiB | 2 316,0 KiB | [lista plików] |
| armhf | 570,6 KiB | 1 638,0 KiB | [lista plików] |
| ppc64el | 734,6 KiB | 3 104,0 KiB | [lista plików] |
| riscv64 | 594,7 KiB | 1 809,0 KiB | [lista plików] |
| s390x | 731,8 KiB | 2 948,0 KiB | [lista plików] |