[ Zdroj: vera++ ]
Balík: vera++ (1.2.1-2 a iné)
Odkazy pre vera++
Zdroje Debian:
Stiahnuť zdrojový balík vera++:
Správca:
Externé zdroje:
- Domovská stránka [bitbucket.org]
Podobné balíky:
Programmable verification and analysis tool for C++
Vera++ is a programmable tool for verification, analysis and transformation of C++ source code. Vera++ is mainly an engine that parses C++ source files and presents the result of this parsing to scripts in the form of various collections - the scripts are actually performing the requested tasks.
Ostatné balíky súvisiace s balíkom vera++
|
|
|
|
-
- dep: libboost-atomic1.83.0 (>= 1.83.0) [sparc64]
- atomické údajové typy, operácie a obmedzenia zoradenia pamäte
-
- dep: libboost-chrono1.83.0 (>= 1.83.0) [sparc64]
- Balík nie je dostupný
-
- dep: libboost-filesystem1.83.0 (>= 1.83.0) [sparc64]
- operácie so súborovým systémom (portabilné cesty, prechádzanie adresárov atď.) v C++
-
- dep: libboost-program-options1.74.0 (>= 1.74.0) [riscv64]
- knižnica volieb programu pre C++
- dep: libboost-program-options1.74.0 (>= 1.74.0+ds1) [x32]
-
- dep: libboost-program-options1.83.0 (>= 1.83.0) [nie riscv64, x32]
- knižnica volieb programu pre C++
-
- dep: libboost-system1.83.0 (>= 1.83.0) [sparc64]
- knižnica operačného systému (napr. podpora diagnostiky)
-
- dep: libboost-thread1.83.0 (>= 1.83.0) [sparc64]
- portabilný multi-threading pre C++
-
- dep: libboost-wave1.74.0 (>= 1.74.0) [riscv64]
- knižnica preprocesora C99/C++
- dep: libboost-wave1.74.0 (>= 1.74.0+ds1) [x32]
-
- dep: libboost-wave1.83.0 (>= 1.83.0) [nie riscv64, x32]
- knižnica preprocesora C99/C++
-
- dep: libc6 (>= 2.34) [nie alpha, ia64, sh4]
- knižnica GNU C - zdieľané knižnice
tiež virtuálny balík poskytovaný balíkom libc6-udeb
- dep: libc6 (>= 2.37) [sh4]
-
- dep: libc6.1 (>= 2.34) [alpha]
- knižnica GNU C - zdieľané knižnice
tiež virtuálny balík poskytovaný balíkom libc6.1-udeb
- dep: libc6.1 (>= 2.37) [ia64]
-
- dep: libgcc-s1 (>= 3.0) [nie armel, armhf, hppa, ia64, m68k]
- podporná knižnica GCC
- dep: libgcc-s1 (>= 3.5) [armel, armhf]
- dep: libgcc-s1 (>= 4.2) [ia64]
-
- dep: libgcc-s2 (>= 4.2.1) [m68k]
- podporná knižnica GCC
-
- dep: libgcc-s4 (>= 4.1.1) [hppa]
- podporná knižnica GCC
-
- dep: libstdc++6 (>= 11) [riscv64]
- štandardná knižnica C++ GNU v3
- dep: libstdc++6 (>= 13.1) [nie riscv64]
-
- dep: libtcl8.6 (>= 8.6.0)
- Tcl (Tool Command Language) v8.6 - súbory dynamickej knižnice
-
- dep: libunwind8 [ia64]
- nnižnica na určenie na určenie postupnosti volania programu - dynamické súbory
Stiahnuť vera++
Architektúra | Verzia | Veľkosť balíka | Nainštalovaná veľkosť | Súbory |
---|---|---|---|---|
alpha (neoficiálny port) | 1.2.1-2+b8 | 125.9 kB | 556.0 kB | [zoznam súborov] |
amd64 | 1.2.1-2+b8 | 133.5 kB | 474.0 kB | [zoznam súborov] |
arm64 | 1.2.1-2+b7 | 121.8 kB | 490.0 kB | [zoznam súborov] |
armel | 1.2.1-2+b8 | 119.2 kB | 429.0 kB | [zoznam súborov] |
armhf | 1.2.1-2+b8 | 120.6 kB | 357.0 kB | [zoznam súborov] |
hppa (neoficiálny port) | 1.2.1-2+b7 | 125.6 kB | 442.0 kB | [zoznam súborov] |
i386 | 1.2.1-2+b8 | 142.0 kB | 473.0 kB | [zoznam súborov] |
ia64 (neoficiálny port) | 1.2.1-2+b3 | 148.0 kB | 745.0 kB | [zoznam súborov] |
m68k (neoficiálny port) | 1.2.1-2+b7 | 128.4 kB | 457.0 kB | [zoznam súborov] |
mips64el | 1.2.1-2+b6 | 119.9 kB | 574.0 kB | [zoznam súborov] |
ppc64 (neoficiálny port) | 1.2.1-2+b9 | 134.9 kB | 618.0 kB | [zoznam súborov] |
ppc64el | 1.2.1-2+b7 | 133.5 kB | 554.0 kB | [zoznam súborov] |
riscv64 (neoficiálny port) | 1.2.1-2+b4 | 126.0 kB | 411.0 kB | [zoznam súborov] |
s390x | 1.2.1-2+b8 | 129.3 kB | 478.0 kB | [zoznam súborov] |
sh4 (neoficiálny port) | 1.2.1-2+b7 | 144.0 kB | 490.0 kB | [zoznam súborov] |
sparc64 (neoficiálny port) | 1.2.1-2+b9 | 114.7 kB | 1,135.0 kB | [zoznam súborov] |
x32 (neoficiálny port) | 1.2.1-2+b6 | 136.5 kB | 453.0 kB | [zoznam súborov] |