Install libaunit17.2017-dev by entering the following commands in the terminal:
sudo apt update sudo apt install libaunit17.2017-dev
Description:
AUnit, a unit testing framework for Ada: development
AUnit is a set of Ada packages based on the xUnit family of unit test frameworks. It's intended as a developer's tool to facilitate confident writing and evolution of Ada software. It is purposely lightweight, as one of its main goals is to make it easy to develop and run unit tests, rather than to generate artifacts for process management. The framework supports easy composition of sets of unit tests to provide flexibility in determining what tests to run for a given purpose. . Install this package if you want to write programs that use AUnit. Debian cannot redistribute the documentation for license reasons. It is available at http://docs.adacore.com/aunit-docs/html/aunit_cb/aunit_cb.html.
Homepage: http://libre.adacore.com/libre/
Version: 17.2017-2
Section: universe/libdevel