Paketti: vera++ (1.2.1-2 ja muut)

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

Muut pakettiin vera++ liittyvät paketit

• dep: libboost-program-options1.83.0 (>= 1.83.0)

  program options library for C++

• dep: libboost-wave1.83.0 (>= 1.83.0)

  C99/C++ preprocessor library

• dep: libc6 (>= 2.34)

  GNU-C-kirjasto: jaetut kirjastot
  myös näennäispaketti, jonka toteuttaa libc6-udeb

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

  GCC:n apukirjasto

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

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

  GNU standardi C++ -kirjasto, versio 3

• dep: libtcl8.6 (>= 8.6.0)

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

Imuroi vera++

Imurointi kaikille saataville arkkitehtuureille

Arkkitehtuuri	Versio	Paketin koko	Koko asennettuna	Tiedostot
amd64	1.2.1-2+b8	133.5 kt	474.0 kt	[tiedostoluettelo]
arm64	1.2.1-2+b7	121.8 kt	490.0 kt	[tiedostoluettelo]
armel	1.2.1-2+b8	119.2 kt	429.0 kt	[tiedostoluettelo]
armhf	1.2.1-2+b8	120.6 kt	357.0 kt	[tiedostoluettelo]
i386	1.2.1-2+b8	142.0 kt	473.0 kt	[tiedostoluettelo]
mips64el	1.2.1-2+b6	119.9 kt	574.0 kt	[tiedostoluettelo]
ppc64el	1.2.1-2+b7	133.5 kt	554.0 kt	[tiedostoluettelo]
s390x	1.2.1-2+b8	129.3 kt	478.0 kt	[tiedostoluettelo]