-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 3.0 (quilt)
Source: ahven
Binary: libahven-dev, libahven31, libahven-doc
Architecture: any all
Version: 2.8-11
Maintainer: Reto Buerki <reet@codelabs.ch>
Uploaders: Adrian-Ken Rueegsegger <ken@codelabs.ch>, Nicolas Boulenguez <nicolas@debian.org>
Homepage: https://www.ahven-framework.com/
Standards-Version: 4.7.2
Vcs-Browser: https://git.codelabs.ch/?p=debian/ahven.git
Vcs-Git: https://git.codelabs.ch/git/debian/ahven.git
Testsuite: autopkgtest
Testsuite-Triggers: gprbuild
Build-Depends: debhelper-compat (= 13)
Build-Depends-Arch: dh-ada-library (>= 9.1), dh-sequence-ada-library, gnat, gnat-14, gprbuild (>= 2025.0.0-2)
Build-Depends-Indep: dh-sequence-sphinxdoc, python3-sphinx
Package-List:
 libahven-dev deb libdevel optional arch=any
 libahven-doc deb doc optional arch=all
 libahven31 deb libs optional arch=any
Checksums-Sha1:
 b388ca153d3f73099117c1bd2a4aff8a285b0ba2 111799 ahven_2.8.orig.tar.gz
 b6ed11b81ca40f44cea03a9787c57af3e9e31ecb 8176 ahven_2.8-11.debian.tar.xz
Checksums-Sha256:
 6ead94fbd1b95454e959cc2a343acfb2f733bcbf10d9a286214d1dec1b9e8e0c 111799 ahven_2.8.orig.tar.gz
 0b7e78c9b03a3d0e4936c70a84d7c898a35bd66abb16ad5b73c64d56e0869d20 8176 ahven_2.8-11.debian.tar.xz
Files:
 5cb01bc1200481a90038bd56fb965ff2 111799 ahven_2.8.orig.tar.gz
 dcb5375f9d01a3df46b2591cfae4461e 8176 ahven_2.8-11.debian.tar.xz

-----BEGIN PGP SIGNATURE-----

iQJHBAEBCgAxFiEEawm/6zYhqkfTAKHtFHKayZgPCdIFAmfgM08THG5pY29sYXNA
ZGViaWFuLm9yZwAKCRAUcprJmA8J0jSHD/98raBDAINq/m05Mz08/p0lUicNiUDt
kYp5ncW5olrcGNJ35lUm0OzLROhegKQPthCzrP0A7AJJCiOaMQwQbWYuMjx/JPts
ccZLS3T4+F3yPzsiKkJDil6GnPfrTJVWECO8nyRuCveDxaH8FuoSbJTxSxkUBHWT
J3JJ4ZDgzm4I3WYPGOXAkM1CRuNcOwaDaMgnWAEC8T5OKkRm5El2GG8Vl3A9TDgA
Qc8O+PhLAJjnQOBNSrcI3qZCufIIE1y3hHALTsawvqgpRxiEp18q435m+zZrSZZO
JCSTD4gsdljitXtw8EfsEwRB0S6bUdSH1xs2apP/v6IxcA+Dvd6Ddx1pMFsVcoXT
l717F7zgroD2DUwn7Lvtx/WANcuwL9iqWqG+/lm797wG/uguoIRVKDd/4OckZDY6
UxPETXP5AbpFr3PWXEXSZ3eYisL6qpNjehGVDL9smYj5/5Rmz0UyUNBjL0x9HN2W
uQ5H9tb9Xt1NKgUBikV47g4TV2qXyYtBtWfh0sbMMDl1lk20ZDIz2npAYEElW7i/
Z8ifMTA/kH42vwPV9KSVrAsL7cKYMco4prUy/n3+gJne9IBqg7PZi4IV2Us9apfv
M2fei7JTZ6+fBMXwS3KIqqxGZHw9TFwbr5Pv+qBXj4PFio00ZEq7H3crQQBY1Z+v
YbvO//gY2iy1YA==
=UVCg
-----END PGP SIGNATURE-----