How to Install and Uninstall asis-programs Package on Ubuntu 20.10 (Groovy Gorilla)

Last updated: May 08,2024

1. Install "asis-programs" package

This is a short guide on how to install asis-programs on Ubuntu 20.10 (Groovy Gorilla)

$ sudo apt update $ sudo apt install asis-programs

2. Uninstall "asis-programs" package

In this section, we are going to explain the necessary steps to uninstall asis-programs on Ubuntu 20.10 (Groovy Gorilla):

$ sudo apt remove asis-programs $ sudo apt autoclean && sudo apt autoremove

3. Information about the asis-programs package on Ubuntu 20.10 (Groovy Gorilla)

Package: asis-programs
Architecture: amd64
Version: 2019-2
Priority: optional
Section: universe/devel
Source: asis
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Ludovic Brenta
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 23507
Depends: gnat, gnat-9, libasis2019 (>= 2019), libc6 (>= 2.28), libgnatcoll18 (>= 19), libgnatprj7 (>= 2019), libgnatvsn9 (>= 9.2.1-30ubuntu1), libxmlada-dom6 (>= 19), libxmlada-input6 (>= 19), libxmlada-sax6 (>= 19), libxmlada-schema6 (>= 19), libxmlada-unicode6 (>= 19), libxmlezout6 (>= 1.06.2)
Recommends: libaunit19-dev
Filename: pool/universe/a/asis/asis-programs_2019-2_amd64.deb
Size: 4339100
MD5sum: 22ebeb7a89df0b3e939348b1fc2f8232
SHA1: a9a0ab8048302dd1be948dc7cf75efd545de2228
SHA256: 203d2df05725f036b99fdf70559081e19c1740381d6d49332097fa779cf27aec
SHA512: 1de67d8d15de99472790bf0a47fc798f99280560f20ce31c5668b35ddefeac491070e11b06305e23149347ac8267d48c232edf65363824754e42829ecd12b285
Homepage: https://www.adacore.com/community
Description-en: Ada Semantic Interface Specification (ASIS) example programs
ASIS (Ada Semantic Interface Specification) lets you develop applications
to walk through the sources of your Ada programs and examine the semantic
constructs.
.
* asistant is an interactive command-line tool to explore the ASIS parse tree
of a program.
* gnatcheck verifies the conformance of source text to coding conventions
* gnatelim finds out unused subprograms and eliminates them.
* gnatmetric calculates metrics such as code complexity.
* gnatpp is a pretty-printer which reformats Ada source text according to
a default or user-specified style guide.
* gnatstub generates an empty but compilable body for a given specification.
* gnattest creates AUnit test skeletons and harness for a project
(gnattest requires the libaunit development package to be installed)
Description-md5: 9240f878bc68126d1dca6f278791ac89