[ sid ]
Paketti: vera++-dbgsym (1.2.1-2 ja muut) [debports]
Links for vera++-dbgsym
Debian-palvelut:
Imuroi lähdekoodipaketti :
Ei löytynytYlläpitäjät:
Samankaltaisia paketteja:
debug symbols for vera++
Muut pakettiin vera++-dbgsym liittyvät paketit
|
|
|
|
-
- dep: vera++ (= 1.2.1-2+b4)
- Programmable verification and analysis tool for C++
Imuroi vera++-dbgsym
Arkkitehtuuri | Versio | Paketin koko | Koko asennettuna | Tiedostot |
---|---|---|---|---|
riscv64 (epävirallinen siirros) | 1.2.1-2+b4 | 1,441.7 kt | 1,552.0 kt | [tiedostoluettelo] |