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

[ 原始碼： vera++  ]

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-program-options1.74.0 (>= 1.74.0)

  program options library for C++

• dep: libboost-wave1.74.0 (>= 1.74.0)

  C99/C++ preprocessor library

• dep: libc6 (>= 2.14) [amd64]

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

  dep: libc6 (>= 2.17) [arm64, ppc64el]

  dep: libc6 (>= 2.4) [除 amd64, arm64, ppc64el]

• dep: libgcc-s1 (>= 3.0) [除 armel, armhf]

  GCC 支援函式庫

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

• dep: libstdc++6 (>= 5.2) [armel, armhf]

  GNU Standard C++ Library v3

  dep: libstdc++6 (>= 9) [除 armel, armhf]

• dep: libtcl8.6 (>= 8.6.0)

  Tcl (the Tool Command Language) v8.6 - run-time library files

下載 vera++

下載可用於所有硬體架構的

硬體架構	版本	套件大小	安裝後大小	檔案
amd64	1.2.1-2+b7	129。1 kB	466。0 kB	[檔案列表]
arm64	1.2.1-2+b6	120。2 kB	454。0 kB	[檔案列表]
armel	1.2.1-2+b7	112。4 kB	405。0 kB	[檔案列表]
armhf	1.2.1-2+b7	114。2 kB	341。0 kB	[檔案列表]
i386	1.2.1-2+b7	137。5 kB	469。0 kB	[檔案列表]
mips64el	1.2.1-2+b5	119。5 kB	523。0 kB	[檔案列表]
mipsel	1.2.1-2+b7	120。4 kB	495。0 kB	[檔案列表]
ppc64el	1.2.1-2+b6	132。5 kB	554。0 kB	[檔案列表]
s390x	1.2.1-2+b7	118。8 kB	474。0 kB	[檔案列表]