Your message dated Thu, 20 Aug 2015 12:09:36 +0000 with message-id <[🔎] E1ZSOf2-0005fk-SF@franck.debian.org> and subject line Bug#796148: Removed package(s) from unstable has caused the Debian Bug report #427107, regarding [Fixed in 4.8] Bug box, Assert_Failure at einfo.adb:846, renaming predefined "=" and "/=" 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 owner@bugs.debian.org immediately.) -- 427107: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=427107 Debian Bug Tracking System Contact owner@bugs.debian.org with problems
--- Begin Message ---
- To: submit@bugs.debian.org
- Subject: gnat-4.1: Bug box, Assert_Failure at einfo.adb:846, renaming predefined "=" and "/="
- From: Ludovic Brenta <ludovic@ludovic-brenta.org>
- Date: Sat, 2 Jun 2007 00:04:02 +0200
- Message-id: <20070601220402.GB13380@green.ada-france.org>
Package: gnat-4.1 Version: 4.1.1-22 Severity: normal package Pak1 is type T1 is tagged null record; function Eq(X, Y : T1) return Boolean renames "="; function Neq(X, Y : T1) return Boolean renames "/="; -- line 4 end Pak1; gnatmake pak1 yields gnatmake pak1 gcc-4.1 -c pak1.ads +===========================GNAT BUG DETECTED==============================+ | 4.1.2 20061115 (prerelease) (Debian 4.1.1-22) (x86_64-pc-linux-gnu) | | Assert_Failure einfo.adb:846 | | Error detected at pak1.ads:4:43 | The token that triggers the bug box is the "renames" in line 4. Here is a second test case that triggers the same bug box: package Pak1 is type T1 is tagged null record; function Eq (X, Y : T1) return Boolean renames "="; type T2 is new T1 with null record; function Eq (X, Y : T2) return Boolean renames "="; -- line 6 end Pak1; gnatmake pak1 gcc-4.1 -c pak1.ads +===========================GNAT BUG DETECTED==============================+ | 4.1.2 20061115 (prerelease) (Debian 4.1.1-22) (x86_64-pc-linux-gnu) | | Assert_Failure einfo.adb:846 | | Error detected at pak1.ads:6:43 | The token that triggers this bug box is, again, the "renames" in line 6. -- System Information: Debian Release: lenny/sid APT prefers testing APT policy: (500, 'testing') Architecture: amd64 (x86_64) Kernel: Linux 2.6.18-3-amd64 (SMP w/2 CPU cores) Locale: LANG=fr_FR.UTF-8, LC_CTYPE=fr_FR.UTF-8 (charmap=UTF-8) Shell: /bin/sh linked to /bin/bash Versions of packages gnat-4.1 depends on: ii gcc-4.1 4.1.1-21 The GNU C compiler ii gnat-4.1-base 4.1.1-22 The GNU Compiler Collection (gnat ii libc6 2.3.6.ds1-13 GNU C Library: Shared libraries ii libc6-dev 2.3.6.ds1-13 GNU C Library: Development Librari ii libgcc1 1:4.1.1-21 GCC support library ii libgnat-4.1 4.1.1-22 Runtime library for GNU Ada applic ii libgnatprj4.1 4.1.1-22 GNU Ada Project Manager ii libgnatvsn4.1 4.1.1-22 GNU Ada compiler version library gnat-4.1 recommends no packages. -- no debconf information
--- End Message ---
--- Begin Message ---
- To: 247020-done@bugs.debian.org,248167-done@bugs.debian.org,248170-done@bugs.debian.org,339356-done@bugs.debian.org,427107-done@bugs.debian.org,494945-done@bugs.debian.org,540174-done@bugs.debian.org,579920-done@bugs.debian.org,642980-done@bugs.debian.org,642981-done@bugs.debian.org,658566-done@bugs.debian.org,658567-done@bugs.debian.org,659674-done@bugs.debian.org,671368-done@bugs.debian.org,695349-done@bugs.debian.org,699736-done@bugs.debian.org,712275-done@bugs.debian.org,747990-done@bugs.debian.org,
- Cc: gnat-4.6@packages.debian.org, gnat-4.6@packages.qa.debian.org
- Subject: Bug#796148: Removed package(s) from unstable
- From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
- Date: Thu, 20 Aug 2015 12:09:36 +0000
- Message-id: <[🔎] E1ZSOf2-0005fk-SF@franck.debian.org>
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 ftpmaster@ftp-master.debian.org. Debian distribution maintenance software pp. Scott Kitterman (the ftpmaster behind the curtain)
--- End Message ---