Zdrojový balík: vera++ (1.2.1-2build9)
Odkazy pre vera++
Zdroje Trisquel:
Správca:
Original Maintainer:
Externé zdroje:
Nasledovné binárne balíky sú zostavované z tohto zdrojového balíka:
- vera++
- Programmable verification and analysis tool for C++
Ostatné balíky súvisiace s balíkom vera++
-
- adep:
debhelper
(>= 9)
- helper programs for debian/rules
-
- adep:
libboost-dev
(>= 1.42)
- Boost C++ Libraries development files (default version)
-
- adep:
tcl-dev
(>= 8)
- Tool Command Language (default version) - development files
-
- adep:
libboost-wave-dev
(>= 1.42)
- C99/C++ preprocessor library (default version)
-
- adep:
libboost-thread-dev
(>= 1.42)
- portable C++ multi-threading (default version)
-
- adep:
libboost-system-dev
(>= 1.42)
- Operating system (e.g. diagnostics support) library (default version)
-
- adep:
libboost-program-options-dev
(>= 1.42)
- program options library for C++ (default version)
-
- adep:
cmake
- cross-platform, open-source make system