Package: vera++ Architecture: amd64 Version: 1.2.1-2build8 Priority: extra Section: universe/devel Origin: Ubuntu Maintainer: Ubuntu Developers Original-Maintainer: Vincent Hobeïka Bugs: https://bugs.launchpad.net/ubuntu/+filebug Installed-Size: 517 Depends: libboost-program-options1.71.0, libboost-wave1.71.0, libc6 (>= 2.14), libgcc-s1 (>= 3.0), libstdc++6 (>= 9), libtcl8.6 (>= 8.6.0) Filename: pool/universe/v/vera++/vera++_1.2.1-2build8_amd64.deb Size: 138316 MD5sum: d7651b48bc131f283e0349ebb524bb1e SHA1: de0a51e064a8d0283b81c666873d80e3217fe323 SHA256: ead102374ac935c0f58eb3f7fe8f65f789d7469d5273c4b6d093cba9497352d3 Homepage: https://bitbucket.org/verateam/vera/wiki/Home Description: Programmable verification and analysis tool for C++ Description-md5: b31d45d06bc7c2fd0f648bf12d2d5e05