Package: vera++ Architecture: amd64 Version: 1.2.1-2build9 Priority: extra Section: universe/devel Origin: Ubuntu Maintainer: Ubuntu Developers Original-Maintainer: Vincent Hobeïka Bugs: https://bugs.launchpad.net/ubuntu/+filebug Installed-Size: 469 Depends: libboost-program-options1.74.0 (>= 1.74.0), libboost-wave1.74.0 (>= 1.74.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-2build9_amd64.deb Size: 132324 MD5sum: b507b3f06a7cf5212ce8a0639631c3cf SHA1: 01cfc4d4ca9c617d150d698d317efec5762e9e24 SHA256: 3e9d9974a5e85f44b60bb2a0a5345acab817665c257764fcbfef629db7c60dbf SHA512: efe2a899d4df97e5e8d4cf0a31d45ff72c996996914ecf9c58a0126efc23224d5ca3e033aaf7838409608b60f55eb50672979136d3733ccb2bb5931b98386f92 Homepage: https://bitbucket.org/verateam/vera/wiki/Home Description: Programmable verification and analysis tool for C++ Description-md5: b31d45d06bc7c2fd0f648bf12d2d5e05