Your message dated Sun, 10 Jun 2012 21:17:24 +0000
with message-id <[email protected]>
and subject line Bug#676338: fixed in asis 2010-4
has caused the Debian Bug report #676338,
regarding asis-programs: gnatpp not working
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.)
--
676338: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=676338
Debian Bug Tracking System
Contact [email protected] with problems
--- Begin Message ---
Package: asis-programs
Version: 2010-3
Severity: normal
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Hi,
The GNAT Pretty-Printer gnatpp is not working correctly, it seems that
gnatcheck is called instead:
$ gnatpp test.adb
gnatpp: No rule to check specified
gnatcheck: the GNAT rule checking tool
usage: gnatcheck [options] {filename} {-files=filename} [-cargs
gcc_switches] -rules rule_switches
options:
-a - process RTL units
[..snip..]
Calling gnatpp displays information about how to use the gnatcheck tool.
By specifying rules to check, gnatpp even performs some work but I don't
think it is actually doing something useful:
$ gnatpp -a handlers.adb -rules +RFloat_Equality_Checks
Units remaining: 1
Regards,
- - reto
- -- System Information:
Debian Release: wheezy/sid
APT prefers unstable
APT policy: (500, 'unstable')
Architecture: amd64 (x86_64)
Kernel: Linux 3.2.0-2-amd64 (SMP w/8 CPU cores)
Locale: LANG=C, LC_CTYPE=C (charmap=ANSI_X3.4-1968)
Shell: /bin/sh linked to /bin/dash
Versions of packages asis-programs depends on:
ii gnat 4.6
ii gnat-4.6 [ada-compiler] 4.6.3-4
ii libasis2010 2010-3
ii libc6 2.13-33
ii libgcc1 1:4.7.0-11
ii libgnat-4.6 4.6.3-4
ii libgnatvsn4.6 4.6.3-4
asis-programs recommends no packages.
asis-programs suggests no packages.
- -- no debconf information
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.12 (GNU/Linux)
iQIcBAEBCAAGBQJPzya4AAoJEKSefDzePM5mXsYP/0ZO67UGDaObaRva3pto+uzS
a95AQqFX63uxeKpoWUBMbjT351KcQI+K1e3TEDW8JUsc1ViXrq2Q5c+dyusWrl/E
z+8j7VPwn48nbS1K6bFd3W+vFsBX/Q+HZnay+q90FFVANv5ikNjKTGKmh24yFQiA
Li4g/OqWjPZyO75UCrkmDYEoQTZlPQVPXHGUcpn6wlmN5S3CsrQBjegjYheIf0Nl
iS6cjxJsFP92SntEcRFPiL+u0DrwPJBQ1m/9ADte1Xd6kBr61A+dtKrWTcT9UqjR
eytblB6Dix2y5vju9msl9LQYQS0O00ZWEgoq0c7lz3UuI4KVprf+9M/tsCUrBDkx
9BvVL2QPjHm3FGgRnxpLrMOOeetcGw/UrEOJ7F7tTQ0NhcN8INiHsH6HkLyeuDVl
0QhrRaNCi5Hxux7WJ/8rAqu5Z7UY7c/VIPB1U2r8KScGlvXnLNUyhAzIKa0OP/qA
Nj03xAdiSfERU9O4B7EKrd1ySAzuxzEwZgs5VVqRrUbzQrwcUv9p5o+U2KLrLJpS
m7qYOwRFd4a3YKjwEGS5Zc8iTsF7/pexzH3uNY5arjKDKkmKW0+0AYDIWh/wVRV/
g6BguGxM2NLBl4GEdCO5BFbYw8tCUuC+Ldo6Ow0s89qYufoZ+ZEnIMjRyBamMwv/
ZC/SdWEzp5W0PRTtxNqz
=pV3h
-----END PGP SIGNATURE-----
--- End Message ---
--- Begin Message ---
Source: asis
Source-Version: 2010-4
We believe that the bug you reported is fixed in the latest version of
asis, which is due to be installed in the Debian FTP archive:
asis-doc_2010-4_all.deb
to main/a/asis/asis-doc_2010-4_all.deb
asis-programs_2010-4_amd64.deb
to main/a/asis/asis-programs_2010-4_amd64.deb
asis_2010-4.diff.gz
to main/a/asis/asis_2010-4.diff.gz
asis_2010-4.dsc
to main/a/asis/asis_2010-4.dsc
libasis2010-dbg_2010-4_amd64.deb
to main/a/asis/libasis2010-dbg_2010-4_amd64.deb
libasis2010-dev_2010-4_amd64.deb
to main/a/asis/libasis2010-dev_2010-4_amd64.deb
libasis2010_2010-4_amd64.deb
to main/a/asis/libasis2010_2010-4_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 [email protected],
and the maintainer will reopen the bug report if appropriate.
Debian distribution maintenance software
pp.
Ludovic Brenta <[email protected]> (supplier of updated asis 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: Sun, 10 Jun 2012 21:49:21 +0200
Source: asis
Binary: libasis2010-dev asis-programs libasis2010 libasis2010-dbg asis-doc
Architecture: source amd64 all
Version: 2010-4
Distribution: unstable
Urgency: low
Maintainer: Ludovic Brenta <[email protected]>
Changed-By: Ludovic Brenta <[email protected]>
Description:
asis-doc - Ada Semantic Interface Specification (ASIS) documentation
asis-programs - Ada Semantic Interface Specification (ASIS) example programs
libasis2010 - Ada Semantic Interface Specification (ASIS) runtime library
libasis2010-dbg - Ada Semantic Interface Specification (ASIS) runtime library
- deb
libasis2010-dev - Ada Semantic Interface Specification (ASIS) headers and
libraries
Closes: 676338
Changes:
asis (2010-4) unstable; urgency=low
.
* debian/tools.gpr, debian/rules: correct the way we build the tools;
each tool contains a different copy of some units, so the project file
must reference only the source directory of the tool being built.
Closes: #676338.
* debian/control: do not reference ada-compiler anymore, per
https://lists.debian.org/debian-ada/2011/12/msg00012.html.
(Standards-Version): bump to 3.9.3 with no changes required.
* debian/rules: generate Lintian overrides for all packages for warnings
hardening-no-relro and hardening-no-fortify-functions, which do not
apply to Ada.
Checksums-Sha1:
f74d9ae768a33362d87662a68785ff6309695cb2 1399 asis_2010-4.dsc
43c72500bfd7f04fb7c38c83fa26797b398cbca4 21270 asis_2010-4.diff.gz
0478227b324aa395cc6589c6530c10c88b95d2d8 3944428
libasis2010-dev_2010-4_amd64.deb
7b4054218e02a998e3ad502bd463866e4d6cb074 2026764 asis-programs_2010-4_amd64.deb
bdf9495f523adf637a998a3e6047fc2b549c9e39 690252 libasis2010_2010-4_amd64.deb
e5e1787316d22ec9238ee854b8f0dda29b94100e 1090706
libasis2010-dbg_2010-4_amd64.deb
5f78f3f49aa90d9de129c07ee925c26ad8fdae2e 1046000 asis-doc_2010-4_all.deb
Checksums-Sha256:
a778f5472c006a2ba450f9dbe8f3eea67bf67accdaa21fba761fbb71cb11605a 1399
asis_2010-4.dsc
8beb66183b1b4782fb27002a586d34a29482199a05219dad82b493a2c1d750c3 21270
asis_2010-4.diff.gz
59a7a42ccb841a085828fc21191fcc3d291d9d0b10837de164651a7096a9af13 3944428
libasis2010-dev_2010-4_amd64.deb
f16ffed548ab5503f4c95c3cfc918d54f9d806092037c85e4078723b2a5f66e6 2026764
asis-programs_2010-4_amd64.deb
d746ffcf573c9755df32fc530757229d0d48c13c8e31de9362b9623813565582 690252
libasis2010_2010-4_amd64.deb
78db32a765eb530f0d07362918b66557e7d95b3007f4dafb5537181e40037b31 1090706
libasis2010-dbg_2010-4_amd64.deb
60c6c59a046322e9924cf9dfc1dd136cb1e5c134554dd93c21ed651d2aafd980 1046000
asis-doc_2010-4_all.deb
Files:
42a9172b5312c4ee9c1129ae19639efb 1399 libdevel optional asis_2010-4.dsc
8936db6c78b8d6098ee37d6cdf05d9eb 21270 libdevel optional asis_2010-4.diff.gz
bd75b563721d95dc0edc0f2cc6825bb1 3944428 libdevel optional
libasis2010-dev_2010-4_amd64.deb
d0007d754e9ff74ec36fcbccb61668ae 2026764 devel optional
asis-programs_2010-4_amd64.deb
04877ac0a1d2228860d46a60c927482d 690252 libs optional
libasis2010_2010-4_amd64.deb
a1fdc5a1419949a73515b47ca57d89c2 1090706 debug extra
libasis2010-dbg_2010-4_amd64.deb
1ecb09f409a2ec3df68832da34543c55 1046000 doc optional asis-doc_2010-4_all.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.12 (GNU/Linux)
iD8DBQFP1QOgx9kwJZ3/qtQRAm6xAJ4mUihwv+EGAroDUJJXdIcbWPF6pwCeOxtF
s66AaQnnYKcooJVD/2En3q0=
=uwRM
-----END PGP SIGNATURE-----
--- End Message ---
