Paket: vera++ (1.2.1-2 und andere)

Links für vera++

Debian-Ressourcen:

Quellcode-Paket vera++ herunterladen:

Betreuer:

Vincent Hobeïka (QS-Seite)

Externe Ressourcen:

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

Andere Pakete mit Bezug zu vera++

hängt ab von

empfiehlt

schlägt vor

erweitert

dep: libboost-program-options1.74.0 (>= 1.74.0)

C++-Bibliothek für Programmoptionen
dep: libboost-wave1.74.0 (>= 1.74.0)

C99/C++-Präprozessorbibliothek
dep: libc6 (>= 2.14) [amd64]

GNU-C-Bibliothek: Laufzeitbibliotheken
auch ein virtuelles Paket, bereitgestellt durch libc6-udeb

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

dep: libc6 (>= 2.4) [nicht amd64, arm64, ppc64el]
dep: libgcc-s1 (>= 3.0) [nicht armel, armhf]

GCC Support-Bibliothek

dep: libgcc-s1 (>= 3.5) [armel, armhf]
dep: libstdc++6 (>= 5.2) [armel, armhf]

GNU-Implementierung der Standard-C++-Bibliothek (Version 3)

dep: libstdc++6 (>= 9) [nicht armel, armhf]
dep: libtcl8.6 (>= 8.6.0)

Tcl (die Tool Command Language) v8.6 - Laufzeitbibliothek

vera++ herunterladen

Download für alle verfügbaren Architekturen
Architektur	Version	Paketgröße	Größe (installiert)	Dateien
amd64	1.2.1-2+b7	129,1 kB	466,0 kB	[Liste der Dateien]
arm64	1.2.1-2+b6	120,2 kB	454,0 kB	[Liste der Dateien]
armel	1.2.1-2+b7	112,4 kB	405,0 kB	[Liste der Dateien]
armhf	1.2.1-2+b7	114,2 kB	341,0 kB	[Liste der Dateien]
i386	1.2.1-2+b7	137,5 kB	469,0 kB	[Liste der Dateien]
mips64el	1.2.1-2+b5	119,5 kB	523,0 kB	[Liste der Dateien]
mipsel	1.2.1-2+b7	120,4 kB	495,0 kB	[Liste der Dateien]
ppc64el	1.2.1-2+b6	132,5 kB	554,0 kB	[Liste der Dateien]
s390x	1.2.1-2+b7	118,8 kB	474,0 kB	[Liste der Dateien]