gentoo.mahdi.cz
dev-util
:vera++
A programmable tool for verification, analysis and transformation of C++ source code
https://bitbucket.org/verateam/vera/wiki/Home
vera++-1.2.1
Boost-1.0
download
~amd64
bgo