Ubuntu
vera++ package

vera++ package in Ubuntu

vera++: Programmable verification and analysis tool for C++
vera++-dbgsym: debug symbols for vera++

This package has 0 new bugs and 0 open questions.

Package information

Maintainer:
Ubuntu Developers
Urgency:*
Medium Urgency
Architectures:*
any
Latest upload:
1.2.1-2build10

*actual publishing details may vary in this distribution, these are just the package defaults.

Upstream connections

vera++-packaging ⇒ trunk

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: yes
Bug tracker: no
Branch: yes

There are no registered releases for the vera++-packaging ⇒ trunk.

Noble (current stable release)
1.2.1-2build10 release (universe)
The Mantic Minotaur (current stable release)
1.2.1-2build9 release (universe)
The Jammy Jellyfish (supported)
1.2.1-2build9 release (universe)
The Focal Fossa (supported)
1.2.1-2build8 release (universe)
The Bionic Beaver (supported)
1.2.1-2build6 release (universe)
The Xenial Xerus (supported)
1.2.1-2build2 release (universe)
The Trusty Tahr (supported)
1.2.1-2 release (universe)