vera++ source package in Lunar
vera++: Programmable verification and analysis tool for C++
vera++-dbgsym: debug symbols for vera++
Versions published
- Release
-
The package versions that were published when the distribution release was made.
- vera++ 1.2.1-2build9 (universe)
vera++ information
- Current version:
- 1.2.1-2build9
- Uploaded:
- Urgency:
- Medium Urgency
Upstream connections
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.
- Bug supervisor:
- Bug tracker:
- Branch:
There are no registered releases for the vera++-packaging ⇒ trunk.
Releases in Ubuntu
Download files from current release (1.2.1-2build9)
| File | Size | SHA-256 Checksum |
|---|---|---|
| vera++_1.2.1.orig.tar.gz | 70.8 KiB | 99b123c8f6d0f4fe9ee90397c461179066a36ed0d598d95e015baf2d3b56956b |
| vera++_1.2.1-2build9.debian.tar.xz | 16.9 KiB | 7755bb8f99ab3efc065aab4055bd17027755f490f96e98c3f47b4e47f975fa8f |
| vera++_1.2.1-2build9.dsc | 2.1 KiB | dd729de92f33011a75fb92c11caffce4e94dadeb94a19d004aaf2b726a128221 |
Package relationships
Build dependencies |
Platform-independent build dependencies |
Platform-dependent build dependencies |
Build conflicts |
Platform-independent build dependencies |
Platform-dependent build dependencies |
