Your message dated Fri, 11 Jul 2014 21:19:34 +0000
with message-id <[email protected]>
and subject line Bug#754069: fixed in gnat-gps 5.3-2
has caused the Debian Bug report #754069,
regarding gnat-gps-doc: invalid `Format' sections
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.)
--
754069: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=754069
Debian Bug Tracking System
Contact [email protected] with problems
--- Begin Message ---
Package: gnat-gps-doc
Version: 5.3-1
Severity: minor
When upgrading gnat-gps-doc:
[...]
Unpacking gnat-gps-doc (5.3-1) over (5.0-16) ...
Processing triggers for mime-support (3.56) ...
Processing triggers for desktop-file-utils (0.22-1) ...
Processing triggers for gnome-menus (3.8.0-2) ...
Processing triggers for menu (2.1.47) ...
Processing triggers for man-db (2.6.7.1-1) ...
Processing triggers for doc-base (0.10.5) ...
Processing 3 changed doc-base files...
Error in `/usr/share/doc-base/using-gnat-programming-studio', line 17: all
`Format' sections are invalid.
Error in `/usr/share/doc-base/gps-programmer-guide', line 16: all `Format'
sections are invalid.
Error in `/usr/share/doc-base/gnat-programming-studio-tutorial', line 17: all
`Format' sections are invalid.
Note: `install-docs --verbose --check file_name' may give more details about
the above errors.
Registering documents with scrollkeeper...
Processing triggers for install-info (5.2.0.dfsg.1-4) ...
[...]
-- System Information:
Debian Release: jessie/sid
APT prefers unstable
APT policy: (500, 'unstable'), (500, 'testing'), (500, 'stable'), (1,
'experimental')
Architecture: amd64 (x86_64)
Foreign Architectures: i386
Kernel: Linux 3.11-2-amd64 (SMP w/2 CPU cores)
Locale: LANG=POSIX, LC_CTYPE=en_US.UTF-8 (charmap=UTF-8)
Shell: /bin/sh linked to /bin/dash
gnat-gps-doc depends on no packages.
Versions of packages gnat-gps-doc recommends:
ii ada-reference-manual-2005 1:2012.2-3
ii gprbuild-doc 2013-1
gnat-gps-doc suggests no packages.
-- no debconf information
--- End Message ---
--- Begin Message ---
Source: gnat-gps
Source-Version: 5.3-2
We believe that the bug you reported is fixed in the latest version of
gnat-gps, which is due to be installed in the Debian FTP archive.
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.
Ludovic Brenta <[email protected]> (supplier of updated gnat-gps 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: Thu, 10 Jul 2014 20:19:26 +0200
Source: gnat-gps
Binary: gnat-gps gnat-gps-dbg gnat-gps-doc gnat-gps-common
Architecture: source amd64 all
Version: 5.3-2
Distribution: unstable
Urgency: low
Maintainer: Ludovic Brenta <[email protected]>
Changed-By: Ludovic Brenta <[email protected]>
Description:
gnat-gps - integrated development environment for C and Ada
gnat-gps-common - integrated development environment for C and Ada (common
files)
gnat-gps-dbg - integrated development environment for C and Ada (debugging
symbo
gnat-gps-doc - integrated development environment for C and Ada (documentation)
Closes: 754069 754320
Changes:
gnat-gps (5.3-2) unstable; urgency=low
.
* debian/gnat-gps-doc.install: install images in only one place.
* debian/gnat-gps-doc.doc-base.*: adjust to upstream changes i.e. no
text format anymore. Closes: #754069.
* debian/build_gps.gpr: do not work around compiler bug #642981 which
has been fixed since gnat-4.8.
* debian/build_gnatinspect.gpr, debian/rules: build gnatinspect too.
* debian/gnat-gps.install: install it. Closes: #754320.
* debian/control (Build-Depends): add libreadline-dev, needed by
gnatinspect.
Checksums-Sha1:
2100a4d318ead4c5f6d1f24e56fb47e46308576f 2500 gnat-gps_5.3-2.dsc
7d240ebb8d1f0ad5b75c08a2020b6f5871d8203c 21859 gnat-gps_5.3-2.debian.tar.bz2
0229d09e028cd7ef2dc427df4e39119e3d105d59 8322408 gnat-gps_5.3-2_amd64.deb
a754e8190d1678e78dd027ae722a5df297a10d5b 31547520 gnat-gps-dbg_5.3-2_amd64.deb
06e8ad5480dde99b907e4c30b87783e55fa1b537 9170722 gnat-gps-doc_5.3-2_all.deb
3d71c17a6186e76f540f440a7a543fa44cf6b523 1414580 gnat-gps-common_5.3-2_all.deb
Checksums-Sha256:
a7a26459580ab5e349d51a0c049525ba82146b2ffed37282e58f2c6c794720a2 2500
gnat-gps_5.3-2.dsc
0f6a8cdb55d094a5290b1cc695a49d6608a69702f6dfe69b72071f2aca1904ba 21859
gnat-gps_5.3-2.debian.tar.bz2
d016240af7b80f7f77849e2cd298f45d49554ce21fd26c4b063f7c7ab1dbda1d 8322408
gnat-gps_5.3-2_amd64.deb
81318426f8090e96e3997c46c3d990c12ac8424e8cfe48ae34acb8b31541d96d 31547520
gnat-gps-dbg_5.3-2_amd64.deb
c7d31fa273f68a081841a0bab86b91a12821e8de635f0cd2e4fbd7740ccc1279 9170722
gnat-gps-doc_5.3-2_all.deb
66dc75172c0941c61e41f4a66654f9cfa07ffb8237a470c0bfef1d546255cd62 1414580
gnat-gps-common_5.3-2_all.deb
Files:
0cf8ff0f6d49948745ad037467cc4d18 8322408 devel optional
gnat-gps_5.3-2_amd64.deb
84dffb797d474f86cf5801267c8fda28 31547520 debug extra
gnat-gps-dbg_5.3-2_amd64.deb
8a3d96064cdcb5feb4bb34ff07e3b901 9170722 doc optional
gnat-gps-doc_5.3-2_all.deb
ce0673c7e8b9c96afb89b59306d812ce 1414580 devel optional
gnat-gps-common_5.3-2_all.deb
75a9af046aa3a8e5a0a1c48485cbe28b 2500 devel optional gnat-gps_5.3-2.dsc
819111f16b4bd40eb1a7d37378122395 21859 devel optional
gnat-gps_5.3-2.debian.tar.bz2
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1
iQIVAwUBU8A/K/HJqDwIqj6cAQIbRA/9FtFH/IsUUFlHdAxeKPZv2Hh+QKNjmdaT
q4fSpNV9MVpDMyH92CPve3F51XCSpICM/dgvoIaPXZrVFaJI6w9nRC9kpqoIJbVj
R0fd2nCWjNv4qVXduHJudEpECGmqT58PnEwZtBdYDUp4LFV08IVA/nIWDmzmm5ux
HneIQk+vZL1JvI98DkXr+n/5QsiMsywMtrQ1yZiLOFMNrG6CaEN/O3mZ0bXeppu4
/4bUoBKWu7U+t5otTfdGLQ47FbfJRUJ8+wVU3Dt230Dv4SNnl5P0bZLrWUgpz9Uw
E2ezKFju+0UDqsLe4ihPZwTAaZ6f5s+v0ietU896KvhlQhVhJyY3EwULQk8hSpxI
BJzXyoi+c5tTITDU85JGPWSyPHU0iqcVVPm6P7gf+Z2KalP6d04Dy6y7zGqLHa4h
GHWi1FRPGwO9DqzD2ybLF1DMdfUUU2ZfFPGRTlKwesqX8r8JrngearVFVceoE7cy
TGxUEfSHNIPZo7oeGnoWyzYT4E+SWSH37P8BdhzZgY30wi2XvyOnVVXoAY9V8/lZ
ro251GlqRNpqUSP6g4KQ9W0WLm54cih0oj18V8L9UQ/wUtXdMsibQGmbEsJpXfQt
ymbAc08JCBJsAwv7wHezp+xiwM8xuNe+HZyKA6qfq+kzG14eHJITCGVP7+yi1YQG
8JBTQ0X/G9s=
=jCYZ
-----END PGP SIGNATURE-----
--- End Message ---
