How to Install and Uninstall adacontrol Package on Ubuntu 16.04 LTS (Xenial Xerus)

Last updated: November 26,2024

1. Install "adacontrol" package

This tutorial shows how to install adacontrol on Ubuntu 16.04 LTS (Xenial Xerus)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                adacontrol
            
                    
    
    Copied

2. Uninstall "adacontrol" package

This guide covers the steps necessary to uninstall adacontrol on Ubuntu 16.04 LTS (Xenial Xerus):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                adacontrol
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the adacontrol package on Ubuntu 16.04 LTS (Xenial Xerus)

Package: adacontrol
Priority: optional
Section: universe/devel
Installed-Size: 5952
Maintainer: Ubuntu Developers
Original-Maintainer: Ludovic Brenta
Architecture: amd64
Version: 1.17r3.1-1
Depends: libasis2014, libc6 (>= 2.14), libgcc1 (>= 1:4.1.1), libgnat-4.9 (>= 4.9.3-1ubuntu1), libgnatvsn4.9 (>= 4.9.3-1ubuntu1)
Filename: pool/universe/a/adacontrol/adacontrol_1.17r3.1-1_amd64.deb
Size: 2188360
MD5sum: 4544591e3d60960ec8d2adf7ad2a01c7
SHA1: ef227535aeea069841ef147b12b001f25a7bd36e
SHA256: a1027065387bec5f24a084830887af61e6ca3c86e7b20282a7b57383bc019394
Description-en: Ada rules controller
AdaControl verifies that Ada software meets the requirements of a
number of parameterizable rules. It is not intended to supplement
checks made by the compiler, but rather to search for particular
violations of good-practice rules, or to check that some rules are
obeyed project-wide. This package also contains the following utilities:
.
* pfni: Print Full Name Image - expands any identifier to a fully-qualified
name
* ptree: Prints a graphic representation of an ASIS tree with corresponding
source
Description-md5: a3caeeaf8c65d154ffa6c820887aa6c2
Enhances: gnat-gps, gprbuild
Homepage: http://www.adalog.fr/adacontrol2.htm
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Origin: Ubuntu