How to Install and Uninstall asis-programs Package on Ubuntu 16.04 LTS (Xenial Xerus)

Last updated: May 14,2024

1. Install "asis-programs" package

Please follow the step by step instructions below to install asis-programs on Ubuntu 16.04 LTS (Xenial Xerus)

$ sudo apt update $ sudo apt install asis-programs

2. Uninstall "asis-programs" package

Please follow the steps below to uninstall asis-programs on Ubuntu 16.04 LTS (Xenial Xerus):

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

3. Information about the asis-programs package on Ubuntu 16.04 LTS (Xenial Xerus)

Package: asis-programs
Priority: optional
Section: universe/devel
Installed-Size: 15023
Maintainer: Ubuntu Developers
Original-Maintainer: Ludovic Brenta
Architecture: amd64
Source: asis
Version: 2014-4
Depends: gnat, gnat-4.9, libasis2014, libc6 (>= 2.14), libgcc1 (>= 1:4.1.1), libgnat-4.9 (>= 4.9.1-1ubuntu2), libgnatcoll1.6, libgnatprj4.9 (>= 4.9.1-1ubuntu2), libgnatvsn4.9 (>= 4.9.1-1ubuntu2)
Recommends: libaunit3.7.1-dev
Filename: pool/universe/a/asis/asis-programs_2014-4_amd64.deb
Size: 2651638
MD5sum: c5003d0a9a3c1c756455406515d1869f
SHA1: ed80cd808f6d61f31ae9d237e62ce8c8a491e099
SHA256: d345c9967cbbeb1a92828bb68518b9e93118bf7e99ec27e711e28cc74f02f9f6
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
Homepage: http://libre.adacore.com/libre/tools
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Origin: Ubuntu