Your message dated Sun, 03 Jan 2010 11:47:09 +0000
with message-id <e1nrovn-0007wa...@ries.debian.org>
and subject line Bug#533152: fixed in ahven 1.7-1
has caused the Debian Bug report #533152,
regarding libahven-dev: should depend on gnat-4.3
to be marked as done.
This means that you claim that the problem has been dealt with.
If this is not the case it is now your responsibility to reopen the
Bug report if necessary, and/or fix the problem forthwith.
(NB: If you are a system administrator and have no idea what this
message is talking about, this may indicate a serious mail system
misconfiguration somewhere. Please contact ow...@bugs.debian.org
immediately.)
--
533152: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=533152
Debian Bug Tracking System
Contact ow...@bugs.debian.org with problems
--- Begin Message ---
Package: libahven-dev
Version: 1.6-2
Severity: normal
The development package libahven-dev requires gnat-4.3; it is useless without
it and will not work with any other version of gnat-x.y because of Ada's
consistency rules. gnat implements these rules by means of the checksums in
the .ali files shipped in libahven-dev, which depend on those in gnat-4.3.
The package should therefore encode this dependency in its control file.
--
Ludovic Brenta.
--- End Message ---
--- Begin Message ---
Source: ahven
Source-Version: 1.7-1
We believe that the bug you reported is fixed in the latest version of
ahven, which is due to be installed in the Debian FTP archive:
ahven-dbg_1.7-1_amd64.deb
to main/a/ahven/ahven-dbg_1.7-1_amd64.deb
ahven_1.7-1.debian.tar.gz
to main/a/ahven/ahven_1.7-1.debian.tar.gz
ahven_1.7-1.dsc
to main/a/ahven/ahven_1.7-1.dsc
ahven_1.7.orig.tar.gz
to main/a/ahven/ahven_1.7.orig.tar.gz
libahven1-dev_1.7-1_amd64.deb
to main/a/ahven/libahven1-dev_1.7-1_amd64.deb
libahven17.0_1.7-1_amd64.deb
to main/a/ahven/libahven17.0_1.7-1_amd64.deb
A summary of the changes between this version and the previous one is
attached.
Thank you for reporting the bug, which will now be closed. If you
have further comments please address them to 533...@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.
Debian distribution maintenance software
pp.
Reto Buerki <r...@codelabs.ch> (supplier of updated ahven package)
(This message was generated automatically at their request; if you
believe that there is a problem with it please contact the archive
administrators by mailing ftpmas...@debian.org)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.8
Date: Wed, 23 Dec 2009 18:51:28 +0100
Source: ahven
Binary: libahven17.0 libahven1-dev ahven-dbg
Architecture: source amd64
Version: 1.7-1
Distribution: unstable
Urgency: low
Maintainer: Reto Buerki <r...@codelabs.ch>
Changed-By: Reto Buerki <r...@codelabs.ch>
Description:
ahven-dbg - Unit test library for Ada (debug)
libahven1-dev - Unit test library for Ada (development)
libahven17.0 - Unit test library for Ada
Closes: 533152 542407 555095
Changes:
ahven (1.7-1) unstable; urgency=low
.
* Add kfreebsd-amd64 to Architecture (Closes: #542407).
* Merging upstream version 1.7.
* Drop obsolete vstrings patch.
* Bump soname from 16 to 17.
* Update to Standards-Version 3.8.3 (no changes).
* Add docbook-testreport to libahven-dev examples.
* Install upstream changelog.
* Add static/dynamic library kind support.
* Migrate to gnat-4.4 (Closes: #533152, #555095).
* Add aliversion to dev package.
* Switch to 3.0 (quilt) source package format.
* Remove alpha from Architecture.
* Update upstream homepage.
* Update adabrowse specific architecture list.
* Update debian/copyright file.
Checksums-Sha1:
cec6c4a99d03b96855ec756a37018194b5a0a111 1355 ahven_1.7-1.dsc
3fec08b305f5f712921df7e31484818247b22460 59922 ahven_1.7.orig.tar.gz
1c01fbcca755752e3ce36f0e74f9898ce9066b2c 5682 ahven_1.7-1.debian.tar.gz
eae5cdfa9f8f918f5825a19e3623461a032e9cb8 71644 libahven17.0_1.7-1_amd64.deb
a41818845e39c46ce4e4d4703ce64e7ced7ce491 169674 libahven1-dev_1.7-1_amd64.deb
8581d9c28939f8237b55cf3283dfdb9e20f5b43e 78848 ahven-dbg_1.7-1_amd64.deb
Checksums-Sha256:
2a9a3ac7d92b0556d14941b9d39ae5343f966a1716fa9bea91e967c69d7b9032 1355
ahven_1.7-1.dsc
aaa3cfa6933e67ddccbdd8d11e93a11a5aee7d6465f15a010d7a79a2e15be0a6 59922
ahven_1.7.orig.tar.gz
7b23d7dda7676650a52a0e5536e6f20040bc084e7ded8fc41d09ad868821dd72 5682
ahven_1.7-1.debian.tar.gz
8d64177b99b2fb7e39df13f205f76f9c9135cdab71fc8a1d3e7b89bed82d91e5 71644
libahven17.0_1.7-1_amd64.deb
2993e99659df2bd923dc232739002425ec496e9b903a7c4365c504693fad187f 169674
libahven1-dev_1.7-1_amd64.deb
5fc92582ebc28968b7e496c0437f0877bb282b4c2c01461b92a705c3a46eaccd 78848
ahven-dbg_1.7-1_amd64.deb
Files:
99b25837e49d913b7d63206bf7229b10 1355 libs optional ahven_1.7-1.dsc
d49afb7b8204b026a513616df326f07a 59922 libs optional ahven_1.7.orig.tar.gz
7dcbbedb706b3529816937d6b5545d4d 5682 libs optional ahven_1.7-1.debian.tar.gz
b56b38497f8619a9568539d244603cd5 71644 libs optional
libahven17.0_1.7-1_amd64.deb
5c3e8b79c1f581d89c8d768c489e8d75 169674 libdevel optional
libahven1-dev_1.7-1_amd64.deb
95c97151cfb9737a321b3f88037299a0 78848 debug extra ahven-dbg_1.7-1_amd64.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.10 (GNU/Linux)
iD8DBQFLNzYMx9kwJZ3/qtQRApe0AJ9qosESFUbcoeMPJJT3cfnlZtJBCQCgja5A
vkTQcd1aErVx59sJXf+nVSs=
=cgHO
-----END PGP SIGNATURE-----
--- End Message ---
