Pakiet źródłowy: vera++ (1.3.0-2)
Odnośniki dla vera++
Zasoby systemu Debian:
Opiekunowie:
Zasoby zewnętrzne:
Z tego pakietu źródłowego zbudowano następujące pakiety binarne:
- vera++
- Programmable verification and analysis tool for C++
Inne pakiety związane z vera++
-
- adep:
debhelper-compat
(= 13)
- Pakiet niedostępny
-
- adep:
libboost-dev
- Boost C++ Libraries development files (default version)
-
- adep:
tcl-dev
- Tool Command Language (wersja domyślna) - pliki dla deweloperów
-
- adep:
libboost-wave-dev
- C99/C++ preprocessor library (default version)
-
- adep:
libboost-thread-dev
- portable C++ multi-threading (default version)
-
- adep:
libboost-system-dev
- Operating system (e.g. diagnostics support) library (default version)
-
- adep:
libboost-program-options-dev
- program options library for C++ (default version)
-
- adep:
libboost-python-dev
- Boost.Python Library development files (default version)
-
- adep:
libboost-regex-dev
- regular expression library for C++ (default version)
-
- adep:
cmake
- Wieloplatformowy system do tworzenia oprogramowania typu open source
-
- adep:
libpython3-dev
- header files and a static library for Python (default)
-
- adep:
tcl8.6-dev
- Tcl (Tool Command Language) wersja 8.6 - pliki dla deweloperów