ahven - Ada unit test framework

Property Value
Distribution FreeBSD 12
Repository FreeBSD Ports Latest amd64
Package name ahven
Package version 2.6
Package release 4
Package architecture amd64
Package type txz
Installed size 1.92 MB
Download size 322.72 KB
Official Mirror pkg.freebsd.org
Ahven is a simple unit test library and framework for the Ada programming
lanugage.  It is loosely modelled after JUnit and some ideas from AUnit.
Simple API
Small size
JUnit-compatible test results in XML format
Strict coding style enforced by AdaControl
This allows integration with tools like Jenkins and CruiseControl
Limited to Ada95 language features
Permissive open source license (ISC)
WWW: http://ahven.stronglytyped.org/
Categories: devel
Maintainer: araujo@FreeBSD.org
- TRACE: on
- DOCS: on


Package Version Architecture Repository
ahven-2.6_4.txz 2.6 i386 FreeBSD Ports Latest
ahven-2.6_4.txz 2.6 amd64 FreeBSD Ports Quarterly
ahven-2.6_4.txz 2.6 i386 FreeBSD Ports Quarterly
ahven - - -


Type URL
Binary Package ahven-2.6_4.txz
Source Package devel/ahven

Install Howto

Install ahven txz package:

# pkg install ahven

See Also

Package Description
aide-0.16.txz Replacement and extension for Tripwire
aifad-2.0.8.txz Machine learning system
aiksaurus-1.2.1_3.txz Set of libraries and applications which provide a thesaurus
aircrack-ng-1.5.2.txz 802.11 WEP and WPA-PSK keys cracking program
aircraft-datcom-0.0.20120723_3.txz Modified USAF Aircraft Stability and Control Data Compendium
aird-1.0.txz Handles Apple IR receiver button events
airspy- AirSpy's usemode driver and associated tools
aish-1.13.txz Ish/uuencode/Base64 converter
aisleriot-3.22.5.txz Collection of patience games written in guile scheme
aklabeth-1.0.txz Remake of Richard Garriott's Ultima prequel
akmos-0.7.2_2.txz Cryptographic library with low footprint
akonadi-18.12.2.txz Storage server for KDE-Pim
akonadi-calendar-18.12.2.txz Akonadi Calendar Integration
akonadi-calendar-tools-18.12.2.txz CLI tools to manage akonadi calendars
akonadi-contacts-18.12.2.txz Libraries and daemons to implement Contact Management in Akonadi