Your message dated Thu, 20 Aug 2015 12:09:36 +0000
with message-id <e1zsof2-0005fk...@franck.debian.org>
and subject line Bug#796148: Removed package(s) from unstable
has caused the Debian Bug report #339356,
regarding [Fixed in 4.8] Assert_Failure atree.adb:794 on invalid code (mixture
of protected object and accept of entry family)
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.)
--
339356: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=339356
Debian Bug Tracking System
Contact ow...@bugs.debian.org with problems
--- Begin Message ---
Package: gnat
Version: 3.15p-16
Severity: normal
Hi,
here is the problem:
$ gnatmake gnat_bug.adb
gnatgcc -c gnat_bug.adb
+===========================GNAT BUG DETECTED==============================+
| 3.15p (Debian 3.15p-16) (i486-pc-linux-gnu) Assert_Failure atree.adb:678 |
| Error detected at gnat_bug.adb:13:10 |
| Please submit bug report by email to rep...@gnat.com. |
| Use a subject line meaningful to you and us to track the bug. |
| (include your customer number #nnn in the subject line). |
| Include the entire contents of this bug box in the report. |
| Include the exact gnatgcc or gnatmake command that you entered. |
| Also include sources listed below in gnatchop format |
| (concatenated together with no headers between files). |
| (use plain ASCII or MIME attachment, or FTP to your customer directory). |
| See README.GNATPRO for full info on procedure for submitting bugs. |
+==========================================================================+
Please include these source files with error report
gnat_bug.adb
list may be incomplete
compilation abandoned
gnatmake: "gnat_bug.adb" compilation error
And here is the code:
procedure gnat_bug is
type voie is range 1..10;
protected carrefour is
entry entree_carrefour (voie);
end carrefour;
protected body carrefour is
entry entree_carrefour (for v in voie)
when true is
begin
accept entree_carrefour(v); -- remove this and you have a valid program
end entree_carrefour;
end carrefour;
begin
null;
end gnat_bug;
-- System Information:
Debian Release: testing/unstable
APT prefers unstable
APT policy: (100, 'unstable'), (99, 'experimental')
Architecture: i386 (i686)
Shell: /bin/sh linked to /bin/bash
Kernel: Linux 2.6.14-1-686
Locale: LANG=fr_FR@euro, LC_CTYPE=fr_FR@euro (charmap=ISO-8859-15)
Versions of packages gnat depends on:
ii binutils 2.16.1cvs20051109-1 The GNU assembler, linker and bina
ii libc6-dev 2.3.5-8 GNU C Library: Development Librari
ii libgnat-3.15p-1 3.15p-16 The GNU Ada 95 compiler runtime li
ii libgnatprj-3.15p 3.15p-16 GNU Ada Project file support libra
Versions of packages gnat recommends:
ii ada-mode 3.6-2 Ada mode for GNU Emacs and XEmacs
ii ada-reference-m 20021112web-3 The standard describing the Ada 95
ii gnat-gdb 5.3.gnat.0.0.20030225-11 Ada-aware version of GDB
ii gnat-gps 2.1.0-5 The GNAT Programming System - adva
-- no debconf information
--- End Message ---
--- Begin Message ---
Version: 4.6.4-4+rm
Dear submitter,
as the package gnat-4.6 has just been removed from the Debian archive
unstable we hereby close the associated bug reports. We are sorry
that we couldn't deal with your issue properly.
For details on the removal, please see https://bugs.debian.org/796148
The version of this package that was in Debian prior to this removal
can still be found using http://snapshot.debian.org/.
This message was generated automatically; if you believe that there is
a problem with it please contact the archive administrators by mailing
ftpmas...@ftp-master.debian.org.
Debian distribution maintenance software
pp.
Scott Kitterman (the ftpmaster behind the curtain)
--- End Message ---