Package: vera++
Architecture: amd64
Version: 1.2.1-2build10
Priority: extra
Section: universe/devel
Origin: Ubuntu
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Original-Maintainer: Vincent Hobeïka <vincent.hobeika@gmail.com>
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 381
Depends: libboost-program-options1.83.0 (>= 1.83.0), libboost-wave1.83.0 (>= 1.83.0), libc6 (>= 2.34), libgcc-s1 (>= 3.3.1), libstdc++6 (>= 13.1), libtcl8.6 (>= 8.6.0)
Filename: pool/universe/v/vera++/vera++_1.2.1-2build10_amd64.deb
Size: 122268
MD5sum: 4199ecb0e9fdb8ef72e16860dd35b962
SHA1: e926cabbc35e44ee2121b7004a7710b6ae90e597
SHA256: 2c0f6c0531bf0aabe9a83a21a1212786379aba02a602a2d75ab33cc4c5546d92
SHA512: d079f0417da6dbf63f79cc39d0ea976325d9952f7cebd2e19a3cc265431463be52db0bc38e8a2d4fb5e2fa631c8ab73d36941c2cfe4c330366160acedef8a97d
Homepage: https://bitbucket.org/verateam/vera/wiki/Home
Description: Programmable verification and analysis tool for C++
Description-md5: b31d45d06bc7c2fd0f648bf12d2d5e05