Your message dated Mon, 15 Jun 2009 21:37:46 +0000
with message-id <[email protected]>
and subject line Bug#533156: fixed in opentoken 3.0b-10
has caused the Debian Bug report #533156,
regarding libopentoken-dev: please tighten dependency on gnat to 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 [email protected]
immediately.)
--
533156: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=533156
Debian Bug Tracking System
Contact [email protected] with problems
--- Begin Message ---
Package: libopentoken-dev
Version: 3.0b-9
Severity: normal
The development package libopentoken-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 libopentoken-dev, which depend on those in
gnat-4.3.
The package should therefore encode this dependency in its control file. There
are two possible ways:
-Depends: gnat
+Depends: gnat (>= 4.3), gnat (<< 4.4)
or
-Depends: gnat
+Depends: gnat-4.3
The tightened dependency will correctly mark the package as broken when a user
eventually replaces gnat-4.3 with gnat-4.4.
--
Ludovic Brenta.
--- End Message ---
--- Begin Message ---
Source: opentoken
Source-Version: 3.0b-10
We believe that the bug you reported is fixed in the latest version of
opentoken, which is due to be installed in the Debian FTP archive:
libopentoken-dev_3.0b-10_i386.deb
to pool/main/o/opentoken/libopentoken-dev_3.0b-10_i386.deb
libopentoken4_3.0b-10_i386.deb
to pool/main/o/opentoken/libopentoken4_3.0b-10_i386.deb
opentoken-dbg_3.0b-10_i386.deb
to pool/main/o/opentoken/opentoken-dbg_3.0b-10_i386.deb
opentoken_3.0b-10.diff.gz
to pool/main/o/opentoken/opentoken_3.0b-10.diff.gz
opentoken_3.0b-10.dsc
to pool/main/o/opentoken/opentoken_3.0b-10.dsc
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 [email protected],
and the maintainer will reopen the bug report if appropriate.
Debian distribution maintenance software
pp.
Reto Buerki <[email protected]> (supplier of updated opentoken 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 [email protected])
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.8
Date: Mon, 15 Jun 2009 22:02:36 +0200
Source: opentoken
Binary: libopentoken4 libopentoken-dev opentoken-dbg
Architecture: source i386
Version: 3.0b-10
Distribution: unstable
Urgency: low
Maintainer: Reto Buerki <[email protected]>
Changed-By: Reto Buerki <[email protected]>
Description:
libopentoken-dev - OpenToken lexical analysis library for Ada (development)
libopentoken4 - OpenToken lexical analysis library for Ada (runtime)
opentoken-dbg - OpenToken lexical analysis library for Ada (debug)
Closes: 533156
Changes:
opentoken (3.0b-10) unstable; urgency=low
.
* Fix wrong-section-according-to-package-name warning.
- opentoken-dbg: devel -> debug.
* Tighten dependency to gnat-4.3 (Closes: #533156).
* Remove unused opentoken-dbg lintian override.
* Update to Standards-Version 3.8.1 (no changes).
* Update Debian specific OpenToken project file.
Checksums-Sha1:
917a316f518d350bb443e9461528d638b97514c4 1143 opentoken_3.0b-10.dsc
2693172f86e2145d33c979c25ab4b031041e91b1 6823 opentoken_3.0b-10.diff.gz
e8ff592837b852325c0bde18e17b4aa3835beff4 76036 libopentoken4_3.0b-10_i386.deb
d1e0f20619c166b28b5ed5c459bc238b6363bcb5 284272
libopentoken-dev_3.0b-10_i386.deb
7aa6c8c3a895c1c6bd8212f929728153520142f8 21448 opentoken-dbg_3.0b-10_i386.deb
Checksums-Sha256:
6459e54443589851e498adfb8c55c501f1c43c9182bbf7ca3b2e9b9eddeffb1d 1143
opentoken_3.0b-10.dsc
597ffe486edee73267066f365460f0616e63b3433164672387ef70ac56bce62c 6823
opentoken_3.0b-10.diff.gz
703d9881f9746562eb731c3a53395e1956e44a069d2b87d5c8bb5d4b844af2fb 76036
libopentoken4_3.0b-10_i386.deb
e62fb7b8afc674a976bb1aaf442ee2fd46d93cee5ac437e762255ff9ca29efef 284272
libopentoken-dev_3.0b-10_i386.deb
2db754457072c50193936a3f681a78d5a4330e9c4ae31e071e7e6fc644ee87b2 21448
opentoken-dbg_3.0b-10_i386.deb
Files:
bb61e053eb9de3ac3ddd2f5101857b61 1143 libs optional opentoken_3.0b-10.dsc
0fba1915db09bf61359b43572bf7e433 6823 libs optional opentoken_3.0b-10.diff.gz
6b8fb776a9ff72e059752ef0b223026d 76036 libs optional
libopentoken4_3.0b-10_i386.deb
fb09bda9660fbe526905d4f51908a3b5 284272 libdevel optional
libopentoken-dev_3.0b-10_i386.deb
0ff737de33a8906e6d7925a7de90cc45 21448 debug extra
opentoken-dbg_3.0b-10_i386.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.9 (GNU/Linux)
iEYEARECAAYFAko2sRcACgkQ+C5cwEsrK55f4QCfd3IFeSwiD8SZRFKinJYiZZgC
IaQAn1A0RTAGcVgEIqnJTEey2GS3zHDo
=mLKM
-----END PGP SIGNATURE-----
--- End Message ---
