[ Источник: vera++ ]
Пакет: vera++ (1.2.1-2build6)
Ссылки для vera++
Ресурсы Trisquel:
Исходный код vera++:
Сопровождающий:
Original Maintainer:
- Vincent Hobeïka
Внешние ресурсы:
- Сайт [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.
Другие пакеты, относящиеся к 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
также виртуальный пакет, предоставляемый 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
Загрузка vera++
| Архитектура | Размер пакета | В установленном виде | Файлы |
|---|---|---|---|
| amd64 | 126,7 Кб | 469 Кб | [список файлов] |
| i386 | 135,8 Кб | 468 Кб | [список файлов] |