Package: vera++ (1.3.0-2 and others)

[ Source: 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.

Other Packages Related to vera++

• dep: libboost-filesystem1.83.0 (>= 1.83.0) [hppa, m68k, sh4, x32]

  filesystem operations (portable paths, iteration over directories, etc) in C++

• dep: libboost-filesystem1.90.0 (>= 1.90.0) [not hppa, ia64, m68k, sh4, x32]

  filesystem operations (portable paths, iteration over directories, etc) in C++

• dep: libboost-program-options1.83.0 (>= 1.83.0) [hppa, ia64, m68k, sh4, x32]

  program options library for C++

• dep: libboost-program-options1.90.0 (>= 1.90.0) [not hppa, ia64, m68k, sh4, x32]

  program options library for C++

• dep: libboost-python1.83.0 (>= 1.83.0) [hppa, m68k, sh4, x32]

  Boost.Python Library

• dep: libboost-python1.83.0-py313 [hppa, m68k, sh4, x32]

  virtual package provided by libboost-python1.83.0

• dep: libboost-python1.90.0 (>= 1.90.0) [not hppa, ia64, m68k, sh4, x32]

  Boost.Python Library

• dep: libboost-python1.90.0-py313 [not hppa, ia64, m68k, sh4, x32]

  virtual package provided by libboost-python1.90.0

• dep: libboost-wave1.83.0 (>= 1.83.0) [hppa, ia64, m68k, sh4, x32]

  C99/C++ preprocessor library

• dep: libboost-wave1.90.0 (>= 1.90.0) [not hppa, ia64, m68k, sh4, x32]

  C99/C++ preprocessor library

• dep: libc6 (>= 2.34) [not alpha, ia64, loong64, sh4]

  GNU C Library: Shared libraries
  also a virtual package provided by libc6-udeb

  dep: libc6 (>= 2.41) [sh4]

  dep: libc6 (>= 2.42) [loong64]

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

  GNU C Library: Shared libraries
  also a virtual package provided by libc6.1-udeb

  dep: libc6.1 (>= 2.37) [ia64]

• dep: libgcc-s1 (>= 3.0) [amd64, arm64, loong64, ppc64, ppc64el, riscv64, sh4, x32]

  GCC support library

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

  dep: libgcc-s1 (>= 4.2) [alpha, i386, ia64, s390x, sparc64]

• dep: libgcc-s2 (>= 4.2.1) [m68k]

  GCC support library

• dep: libgcc-s4 (>= 4.1.1) [hppa]

  GCC support library

• dep: libpython3.13 (>= 3.13.0~rc3) [not ia64]

  Shared Python runtime library (version 3.13)

• dep: libstdc++6 (>= 13.1)

  GNU Standard C++ Library v3

• 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

• sug: tclsh

  virtual package provided by tcl

Download vera++

Download for all available architectures

Architecture	Version	Package Size	Installed Size	Files
alpha (unofficial port)	1.3.0-2	217.1 kB	816.0 kB	[list of files]
amd64	1.3.0-2	237.9 kB	760.0 kB	[list of files]
arm64	1.3.0-2	208.3 kB	811.0 kB	[list of files]
armhf	1.3.0-2	202.4 kB	552.0 kB	[list of files]
hppa (unofficial port)	1.3.0-1	247.4 kB	917.0 kB	[list of files]
i386	1.3.0-2	249.4 kB	753.0 kB	[list of files]
ia64 (unofficial port)	1.2.1-2+b3	148.0 kB	745.0 kB	[list of files]
loong64	1.3.0-2	228.3 kB	811.0 kB	[list of files]
m68k (unofficial port)	1.3.0-1	253.7 kB	960.0 kB	[list of files]
ppc64 (unofficial port)	1.3.0-2	238.0 kB	1,003.0 kB	[list of files]
ppc64el	1.3.0-2	239.0 kB	939.0 kB	[list of files]
riscv64	1.3.0-2	230.1 kB	607.0 kB	[list of files]
s390x	1.3.0-2	227.4 kB	775.0 kB	[list of files]
sh4 (unofficial port)	1.3.0-1	282.8 kB	938.0 kB	[list of files]
sparc64 (unofficial port)	1.3.0-2	189.9 kB	1,140.0 kB	[list of files]
x32 (unofficial port)	1.3.0-2	237.5 kB	701.0 kB	[list of files]