How to Install and Uninstall vera++ Package on Ubuntu 24.04 LTS (Noble Numbat)

Last updated: December 22,2024

1. Install "vera++" package

Please follow the step by step instructions below to install vera++ on Ubuntu 24.04 LTS (Noble Numbat)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                vera++
            
                    
    
    Copied

2. Uninstall "vera++" package

Please follow the instructions below to uninstall vera++ on Ubuntu 24.04 LTS (Noble Numbat):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                vera++
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the vera++ package on Ubuntu 24.04 LTS (Noble Numbat)

Package: vera++
Architecture: amd64
Version: 1.2.1-2build10
Priority: extra
Section: universe/devel
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Vincent Hobeïka
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