套件：vera++（1.2.1-2 以及其他的）

vera++ 的相關連結

Debian 的資源：

下載原始碼套件 vera++：

維護者：

Vincent Hobeïka (QA 頁面)

外部的資源：

主頁 [bitbucket.org]

相似套件：

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.

其他與 vera++ 有關的套件

依賴

推薦

建議

增強

dep: libboost-atomic1.83.0 (>= 1.83.0) [sparc64]

atomic data types, operations, and memory ordering constraints
dep: libboost-chrono1.83.0 (>= 1.83.0) [sparc64]

套件暫時不可用
dep: libboost-filesystem1.83.0 (>= 1.83.0) [sparc64]

filesystem operations (portable paths, iteration over directories, etc) in C++
dep: libboost-program-options1.74.0 (>= 1.74.0) [riscv64]

program options library for C++

dep: libboost-program-options1.74.0 (>= 1.74.0+ds1) [x32]
dep: libboost-program-options1.83.0 (>= 1.83.0) [除 riscv64, x32]

program options library for C++
dep: libboost-system1.83.0 (>= 1.83.0) [sparc64]

Operating system (e.g. diagnostics support) library
dep: libboost-thread1.83.0 (>= 1.83.0) [sparc64]

portable C++ multi-threading
dep: libboost-wave1.74.0 (>= 1.74.0) [riscv64]

C99/C++ preprocessor library

dep: libboost-wave1.74.0 (>= 1.74.0+ds1) [x32]
dep: libboost-wave1.83.0 (>= 1.83.0) [除 riscv64, x32]

C99/C++ preprocessor library
dep: libc6 (>= 2.34) [除 alpha, ia64, sh4]

GNU C 函式庫：共用函式庫
同時作為一個虛擬套件由這些套件填實： libc6-udeb

dep: libc6 (>= 2.37) [sh4]
dep: libc6.1 (>= 2.34) [alpha]

GNU C 函式庫：共用函式庫
同時作為一個虛擬套件由這些套件填實： libc6.1-udeb

dep: libc6.1 (>= 2.37) [ia64]
dep: libgcc-s1 (>= 3.0) [除 armel, armhf, hppa, ia64, m68k]

GCC 支援函式庫

dep: libgcc-s1 (>= 3.5) [armel, armhf]

dep: libgcc-s1 (>= 4.2) [ia64]
dep: libgcc-s2 (>= 4.2.1) [m68k]

GCC 支援函式庫
dep: libgcc-s4 (>= 4.1.1) [hppa]

GCC 支援函式庫
dep: libstdc++6 (>= 11) [riscv64]

GNU Standard C++ Library v3

dep: libstdc++6 (>= 13.1) [除 riscv64]
dep: libtcl8.6 (>= 8.6.0)

Tcl (the Tool Command Language) v8.6 - run-time library files
dep: libunwind8 [ia64]

library to determine the call-chain of a program - runtime

下載 vera++

下載可用於所有硬體架構的
硬體架構	版本	套件大小	安裝後大小	檔案
alpha （非官方移植版）	1.2.1-2+b8	125。9 kB	556。0 kB	[檔案列表]
amd64	1.2.1-2+b8	133。5 kB	474。0 kB	[檔案列表]
arm64	1.2.1-2+b7	121。8 kB	490。0 kB	[檔案列表]
armel	1.2.1-2+b8	119。2 kB	429。0 kB	[檔案列表]
armhf	1.2.1-2+b8	120。6 kB	357。0 kB	[檔案列表]
hppa （非官方移植版）	1.2.1-2+b7	125。6 kB	442。0 kB	[檔案列表]
i386	1.2.1-2+b8	142。0 kB	473。0 kB	[檔案列表]
ia64 （非官方移植版）	1.2.1-2+b3	148。0 kB	745。0 kB	[檔案列表]
m68k （非官方移植版）	1.2.1-2+b7	128。4 kB	457。0 kB	[檔案列表]
mips64el	1.2.1-2+b6	119。9 kB	574。0 kB	[檔案列表]
ppc64 （非官方移植版）	1.2.1-2+b9	134。9 kB	618。0 kB	[檔案列表]
ppc64el	1.2.1-2+b7	133。5 kB	554。0 kB	[檔案列表]
riscv64 （非官方移植版）	1.2.1-2+b4	126。0 kB	411。0 kB	[檔案列表]
s390x	1.2.1-2+b8	129。3 kB	478。0 kB	[檔案列表]
sh4 （非官方移植版）	1.2.1-2+b7	144。0 kB	490。0 kB	[檔案列表]
sparc64 （非官方移植版）	1.2.1-2+b9	114。7 kB	1，135。0 kB	[檔案列表]
x32 （非官方移植版）	1.2.1-2+b6	136。5 kB	453。0 kB	[檔案列表]