[ Paquet source : vera++ ]
Paquet : vera++ (1.2.1-2build6)
Liens pour vera++
Ressources Trisquel :
Télécharger le paquet source vera++ :
Responsable :
Original Maintainer:
- Vincent Hobeïka
Ressources externes :
- Page d'accueil [bitbucket.org]
Paquets similaires :
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.
Autres paquets associés à vera++
|
|
|
-
- dep: libboost-program-options1.65.1
- program options library for C++
-
- dep: libboost-system1.65.1
- Operating system (e.g. diagnostics support) library
-
- dep: libboost-wave1.65.1
- C99/C++ preprocessor library
-
- dep: libc6 (>= 2.14) [amd64]
- GNU C Library: Shared libraries
un paquet virtuel est également fourni par libc6-udeb
- dep: libc6 (>= 2.4) [i386]
-
- dep: libgcc1 (>= 1:3.0)
- GCC support library
-
- dep: libstdc++6 (>= 5.2)
- GNU Standard C++ Library v3
-
- dep: libtcl8.6 (>= 8.6.0)
- Tcl (the Tool Command Language) v8.6 - run-time library files
Télécharger vera++
| Architecture | Taille du paquet | Espace occupé une fois installé | Fichiers |
|---|---|---|---|
| amd64 | 126,7 ko | 469 ko | [liste des fichiers] |
| i386 | 135,8 ko | 468 ko | [liste des fichiers] |