vera++ source package in Oracular
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-2build10 (universe)
vera++ information
- Current version:
- 1.2.1-2build10
- 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-2build10)
| File | Size | SHA-256 Checksum |
|---|---|---|
| vera++_1.2.1.orig.tar.gz | 70.8 KiB | 99b123c8f6d0f4fe9ee90397c461179066a36ed0d598d95e015baf2d3b56956b |
| vera++_1.2.1-2build10.debian.tar.xz | 16.9 KiB | ddd27cba51e8d23b9e6e1fc92dfe84745f9fea76fef7d5fea20dfdf44ea0c14b |
| vera++_1.2.1-2build10.dsc | 2.0 KiB | 7fd8f43cc7a01462fdd813e8e50b77ef6cf075392dbd20f4be6c253c2227013e |
Package relationships
Build dependencies |
Platform-independent build dependencies |
Platform-dependent build dependencies |
Build conflicts |
Platform-independent build dependencies |
Platform-dependent build dependencies |
