How to Install and Uninstall vera++ Package on Ubuntu 22.04 LTS (Jammy Jellyfish)

Last updated: April 29,2024

1. Install "vera++" package

In this section, we are going to explain the necessary steps to install vera++ on Ubuntu 22.04 LTS (Jammy Jellyfish)

$ sudo apt update $ sudo apt install vera++

2. Uninstall "vera++" package

This tutorial shows how to uninstall vera++ on Ubuntu 22.04 LTS (Jammy Jellyfish):

$ sudo apt remove vera++ $ sudo apt autoclean && sudo apt autoremove

3. Information about the vera++ package on Ubuntu 22.04 LTS (Jammy Jellyfish)

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