libaunit3.7.1 - AUnit, a unit testing framework for Ada: shared library

Property Value
Distribution Debian 8 (Jessie)
Repository Debian Main amd64
Package name libaunit3.7.1
Package version 3.7.1
Package release 1
Package architecture amd64
Package type deb
Installed size 184 B
Download size 37.97 KB
Official Mirror
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.
This package contains the runtime shared library.


Package Version Architecture Repository
libaunit3.7.1_3.7.1-1_i386.deb 3.7.1 i386 Debian Main
libaunit3.7.1 - - -


Name Value
libc6 >= 2.14
libgcc1 >= 1:4.1.1
libgnat-4.9 >= 4.9.1-1
multiarch-support -


Type URL
Binary Package libaunit3.7.1_3.7.1-1_amd64.deb
Source Package libaunit

Install Howto

  1. Update the package index:
    # sudo apt-get update
  2. Install libaunit3.7.1 deb package:
    # sudo apt-get install libaunit3.7.1




2014-08-18 - Nicolas Boulenguez <>
libaunit (3.7.1-1) unstable; urgency=medium
* New upstream release, built with gnat-4.9 (closes:  #748998, #755078).
Per Ada policy, rename lib (ABI) and -dev (sources) packages.
* Because the generated doc is big, use Files-Excluded.
Because it and examples are -indep, add a -doc package.
* copyright: update to GPL-3+, repackage without generated files.
* rules: run-tests target is obsoleted by sadt from devscripts.
Now using upstream build system with a few patches.
* doc-base registration. Install all formats and examples.
* examples: deduplicate, link from doc, run as tests.
Some of them and upstream-tests freeze, commented.
* Fix dh_compress override.
2013-11-30 - Nicolas Boulenguez <>
libaunit (1.03-8) unstable; urgency=low
* Adopting the package. Closes: #673752.
* Switch to debhelper 9, dpkg-dev and dh-ada-library helpers.
* Build-Depends: gnat in addition to gnat-4.6 to ensure default compiler.
* Standards-Version: 3.9.5. Vcs-*: correct field names.
* Stop depending on inexistant ada-compiler virtual package.
* Mark lib and -dev packages as Multiarch: same.
* copyright: update, machine-readable format 1.0.
* Move runtime tests to debian/tests. XS-Testsuite field accordingly.
* rules: inherit hardening flags. Do not compress examples. Implement clean.
* source.lintian overrides: -lib does Depend on -dbg.
* Empty but informative watch file.
2011-07-12 - Stephen Leake <>
libaunit (1.03-7) unstable; urgency=low
* upgrade to build with gnat-4.6; bump aliversion
2010-06-15 - Stephen Leake <>
libaunit (1.03-6) unstable; urgency=low
* debian/compat: bump to 7
* debian/control: add gnat, ada-compiler per Debian Ada Policy.
* debian/source/format: switch to 3.0 (quilt)
* debian/rules: don't install GPS plug-in aunit.xml; it's wrong.
2010-02-14 - Stephen Leake <>
libaunit (1.03-5) unstable; urgency=low
[Stephen Leake]
* debian/control (Standards-Version): update to 3.8.4
(Architecture): change to 'any', to match gnat-4.4. Closes: #568438
[Ludovic Brenta]
* debian/control (DM-Upload-Allowed): new.   (Uploaders): remove myself.
2009-11-19 - Ludovic Brenta <>
libaunit (1.03-4) unstable; urgency=low
[Stephen Leake]
* Change -dev package name to reflect the change in .ali files (see
extensive discussion at
- libaunit-dev -> libaunit1-dev
* NEW package libaunit-dbg
* Migrate to gnat-4.4 and change the soname to libaunit3.
* Update Standards-Version to 3.8.3 with no changes.
* debian/control (Architecture): add kfreebsd-amd64.  Closes: #542414.
(Vcs-Mtn, Vcs-Browse): new.
(Maintainer): new maintainer Stephen Leake.
(Uploaders): add Ludovic Brenta as the sponsor.
(Suggests): new
(Conflicts, Replaces): new
* debian/ New, for running tests against installed
[Ludovic Brenta]
* debian/control (Depends): add ${misc:Depends}, required by debhelper.
(Architectures): disable alpha due to
* debian/aunit_ref.gpr: s/Object_Dir/Library_ALI_Dir/.
* debian/aunit_build.gpr: build without -fstack-check.
Eric Botcazou says: "-fstack-check is broken with GCC 4.4 on x86/x86-64
Linux, it generates code that will easily segfault"
2008-07-24 - Ludovic Brenta <>
libaunit (1.03-3) unstable; urgency=low
* Migrate to gnat-4.3 and change the soname to libaunit2.
* Update Standards-Version to 3.8.0 with no changes.
* Add support for mips, mipsel and ppc64.
* Transform aunit.gpr into a library project file.
2006-09-18 - Ludovic Brenta <>
libaunit (1.03-2) unstable; urgency=low
* debian/control (Maintainer): use my Debian email address.

See Also

Package Description
libauparse-dev_2.4-1+b1_amd64.deb Header files and static library for the libauparse0 library
libauparse0_2.4-1+b1_amd64.deb Dynamic library for parsing security auditing
libauth-yubikey-decrypter-perl_0.07-1_all.deb yubikey token output decryptor
libauth-yubikey-webclient-perl_3.00-1_all.deb Perl module to authenticate Yubikey against the Yubico Web API
libauthcas-perl_1.5-1_all.deb Client library for CAS 2.0
libauthen-bitcard-perl_0.90-1_all.deb Perl module providing authentication using the Bitcard service
libauthen-captcha-perl_1.024-1_all.deb Perl extension for creating captcha's
libauthen-cas-client-perl_0.07-1_all.deb Perl module for authentication using CAS
libauthen-dechpwd-perl_2.006-2+b2_amd64.deb Perl module for DEC VMS password hashing
libauthen-krb5-admin-perl_0.17-1+b2_amd64.deb Perl extension for MIT Kerberos 5 admin interface
libauthen-krb5-perl_1.9-4+b1_amd64.deb Perl interface to Kerberos 5 API
libauthen-krb5-simple-perl_0.43-2+b2_amd64.deb Perl module for authentication using Kerberos 5
libauthen-ntlm-perl_1.09-1_all.deb authentication module for NTLM
libauthen-oath-perl_1.0.0-1_all.deb Perl module for OATH One Time Passwords
libauthen-pam-perl_0.16-3+b1_amd64.deb Perl interface to PAM library