How to Install and Uninstall vera Package on Ubuntu 20.10 (Groovy Gorilla)

Last updated: December 22,2024

1. Install "vera" package

This tutorial shows how to install vera on Ubuntu 20.10 (Groovy Gorilla)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                vera
            
                    
    
    Copied

2. Uninstall "vera" package

Please follow the instructions below to uninstall vera on Ubuntu 20.10 (Groovy Gorilla):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                vera
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the vera package on Ubuntu 20.10 (Groovy Gorilla)

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
SHA512: f91396acbd136f0e57dac2242e83322e4c4c0334075401bada7676013f1e910830b583f6abc42c2e940356c176badb76216b62999e8862f8861013fcd43981e0
Homepage: https://bitbucket.org/verateam/vera/wiki/Home
Description-en: Programmable verification and analysis tool for C++
Vera++ is a programmable tool for verification, analysis and transformation of
C++ source code.
Vera++ is mainly an engine that parses C++ source files and presents the
result of this parsing to scripts in the form of various collections -
the scripts are actually performing the requested tasks.
Description-md5: b31d45d06bc7c2fd0f648bf12d2d5e05