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

Last updated: December 24,2024

1. Install "adacontrol" package

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


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                adacontrol
            
                    
    
    Copied

2. Uninstall "adacontrol" package

This tutorial shows how to uninstall adacontrol on Ubuntu 20.10 (Groovy Gorilla):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                adacontrol
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

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

Package: adacontrol
Architecture: amd64
Version: 1.21r6b-5
Priority: optional
Section: universe/devel
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Ludovic Brenta
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 6291
Depends: libasis2019 (>= 2019), libc6 (>= 2.14), libgcc-s1 (>= 3.0), libgnat-9 (>= 9.3.0), libgnatcoll18 (>= 19), libgnatprj7 (>= 2019), libgnatvsn9 (>= 9.3.0-12ubuntu1), libxmlada-dom6 (>= 19), libxmlada-input6 (>= 19), libxmlada-sax6 (>= 19), libxmlada-schema6 (>= 19), libxmlada-unicode6 (>= 19)
Suggests: adacontrol-doc
Enhances: gnat-gps, gprbuild
Filename: pool/universe/a/adacontrol/adacontrol_1.21r6b-5_amd64.deb
Size: 1691472
MD5sum: e1870bbe034cdeb3ddec1cf1e98c05c7
SHA1: 6bd6603f6ce136eb593379c32562ad988fd890fd
SHA256: 4e2e95f9b600170290b6462f6eeea6a26d9a47a869b03f992b82e1728b16e830
SHA512: 0fdf0d5088dc89f55e4112880374bf0c88f3917221f959e031b44f2a618b5a6580c80467481b39fca2bd15573a870587e3e4a4e72f9e45628e22df75205c2775
Homepage: http://www.adalog.fr/en/adacontrol.html
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
* adactl_fix: automatically fix some violations.
Description-md5: d5090f8caa23f13ad1cc752eb256573b