Package - libahven-dev

Package: libahven-dev
apt-get install libahven-dev

Documentations in package:

libahven-dev

Primary informations

Download package: http://deb.debian.org/debian/pool/main/a/ahven/libahven-dev_2.8-11_amd64.deb (Size: 132.0KiB)

Property	Value
Package	libahven-dev
Source	ahven
Version	2.8-11
Installed-Size	884
Maintainer	Reto Buerki
Architecture	amd64
Replaces	libahven10-dev, libahven11-dev, libahven7-dev, libahven8-dev, libahven9-dev
Provides	libahven-dev-c984d04b
Depends	gnat (<< 15), gnat (>= 14), gnat-14, gnat-14-ade93c16, libahven31 (= 2.8-11)
Suggests	libahven-doc
Breaks	libahven10-dev, libahven11-dev, libahven7-dev, libahven8-dev, libahven9-dev
Description	Unit test library for Ada (development)
Description-md5	6e54401a37b269c5decb82e27a009a12
Homepage	https://www.ahven-framework.com/
Section	libdevel
Priority	optional
Filename	pool/main/a/ahven/libahven-dev_2.8-11_amd64.deb
Size	135148
MD5sum	98511f63f0d7baa1f0ca06c0dfad3916
SHA256	a0cf6d3e3cf48e865190bbd5ecb8d2dcae93f1d04375bbba54db54638e04f29d

Files in package

/usr/lib/x86_64-linux-gnu/ada/adalib/ahven/ahven-astrings.ali
/usr/lib/x86_64-linux-gnu/ada/adalib/ahven/ahven-framework.ali
/usr/lib/x86_64-linux-gnu/ada/adalib/ahven/ahven-listeners-basic.ali
/usr/lib/x86_64-linux-gnu/ada/adalib/ahven/ahven-listeners.ali
/usr/lib/x86_64-linux-gnu/ada/adalib/ahven/ahven-long_astrings.ali
/usr/lib/x86_64-linux-gnu/ada/adalib/ahven/ahven-name_list.ali
/usr/lib/x86_64-linux-gnu/ada/adalib/ahven/ahven-parameters.ali
/usr/lib/x86_64-linux-gnu/ada/adalib/ahven/ahven-results.ali
/usr/lib/x86_64-linux-gnu/ada/adalib/ahven/ahven-runner.ali
/usr/lib/x86_64-linux-gnu/ada/adalib/ahven/ahven-slist.ali
/usr/lib/x86_64-linux-gnu/ada/adalib/ahven/ahven-tap_runner.ali
/usr/lib/x86_64-linux-gnu/ada/adalib/ahven/ahven-temporary_output.ali
/usr/lib/x86_64-linux-gnu/ada/adalib/ahven/ahven-text_runner.ali
/usr/lib/x86_64-linux-gnu/ada/adalib/ahven/ahven-xml_runner.ali
/usr/lib/x86_64-linux-gnu/ada/adalib/ahven/ahven.ali
/usr/lib/x86_64-linux-gnu/ada/adalib/ahven/ahven_compat.ali
/usr/lib/x86_64-linux-gnu/libahven.a
/usr/lib/x86_64-linux-gnu/libahven.so
/usr/share/ada/adainclude/ahven/ahven-astrings.ads
/usr/share/ada/adainclude/ahven/ahven-framework.adb
/usr/share/ada/adainclude/ahven/ahven-framework.ads
/usr/share/ada/adainclude/ahven/ahven-listeners-basic.adb
/usr/share/ada/adainclude/ahven/ahven-listeners-basic.ads
/usr/share/ada/adainclude/ahven/ahven-listeners.adb
/usr/share/ada/adainclude/ahven/ahven-listeners.ads
/usr/share/ada/adainclude/ahven/ahven-long_astrings.ads
/usr/share/ada/adainclude/ahven/ahven-name_list.ads
/usr/share/ada/adainclude/ahven/ahven-parameters.adb
/usr/share/ada/adainclude/ahven/ahven-parameters.ads
/usr/share/ada/adainclude/ahven/ahven-results.adb
/usr/share/ada/adainclude/ahven/ahven-results.ads
/usr/share/ada/adainclude/ahven/ahven-runner.adb
/usr/share/ada/adainclude/ahven/ahven-runner.ads
/usr/share/ada/adainclude/ahven/ahven-slist.adb
/usr/share/ada/adainclude/ahven/ahven-slist.ads
/usr/share/ada/adainclude/ahven/ahven-tap_runner.adb
/usr/share/ada/adainclude/ahven/ahven-tap_runner.ads
/usr/share/ada/adainclude/ahven/ahven-temporary_output.adb
/usr/share/ada/adainclude/ahven/ahven-temporary_output.ads
/usr/share/ada/adainclude/ahven/ahven-text_runner.adb
/usr/share/ada/adainclude/ahven/ahven-text_runner.ads
/usr/share/ada/adainclude/ahven/ahven-xml_runner.adb
/usr/share/ada/adainclude/ahven/ahven-xml_runner.ads
/usr/share/ada/adainclude/ahven/ahven.adb
/usr/share/ada/adainclude/ahven/ahven.ads
/usr/share/ada/adainclude/ahven/ahven_compat.adb
/usr/share/ada/adainclude/ahven/ahven_compat.ads
/usr/share/doc/libahven-dev/README.Debian
/usr/share/doc/libahven-dev/changelog.Debian.gz
/usr/share/doc/libahven-dev/copyright
/usr/share/gpr/ahven.gpr