Your message dated Tue, 24 Mar 2020 21:39:38 +0000 with message-id <E1jGrGs-00071l-Ks@fasolo.debian.org> and subject line Bug#923982: Removed package(s) from unstable has caused the Debian Bug report #427108, regarding [Fixed in 8] Bug box Program_Error exp_disp.adb: explicit raise 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.) -- 427108: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=427108 Debian Bug Tracking System Contact owner@bugs.debian.org with problems
--- Begin Message ---
- To: submit@bugs.debian.org
- Subject: gnat-4.1: Legal program executes incorrectly, RM 3.4(27)
- From: Ludovic Brenta <ludovic@ludovic-brenta.org>
- Date: Sat, 2 Jun 2007 00:09:34 +0200
- Message-id: <20070601220934.GC13380@green.ada-france.org>
Package: gnat-4.1 Version: 4.1.1-22 Severity: normal The following program prints FAILED; it should print PASSED as per RM 3.4(27), which states: -- "For the execution of a call on an inherited subprogram, -- a call on the corresponding primitive subprogram of the -- parent or progenitor type is performed; the normal conversion -- of each actual parameter to the subtype of the corresponding -- formal parameter (see 6.4.1) performs any necessary type -- conversion as well." with Text_IO; use Text_IO; procedure Test1 is package Pak1 is type T1 is tagged null record; function Eq(X, Y: T1) return Boolean renames "="; end Pak1; package Pak2 is type T2 is new Pak1.T1 with record F1: Integer; end record; end Pak2; Z1: Pak2.T2 := (F1 => 1); Z2: Pak2.T2 := (F1 => 2); begin if Pak2.Eq(Z1, Z2) = Pak1.Eq(Pak1.T1(Z1), Pak1.T1(Z2)) then Put_Line("PASSED"); else Put_Line("FAILED"); end if; end Test1; -- 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: 427108-done@bugs.debian.org,853709-done@bugs.debian.org,856274-done@bugs.debian.org,866369-done@bugs.debian.org,870375-done@bugs.debian.org,879703-done@bugs.debian.org,881288-done@bugs.debian.org,881939-done@bugs.debian.org,882490-done@bugs.debian.org,884431-done@bugs.debian.org,886099-done@bugs.debian.org,887453-done@bugs.debian.org,888394-done@bugs.debian.org,894302-done@bugs.debian.org,895452-done@bugs.debian.org,901836-done@bugs.debian.org,954830-done@bugs.debian.org,
- Cc: gcc-7@packages.debian.org
- Subject: Bug#923982: Removed package(s) from unstable
- From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
- Date: Tue, 24 Mar 2020 21:39:38 +0000
- Message-id: <E1jGrGs-00071l-Ks@fasolo.debian.org>
Version: 7.5.0-6+rm Dear submitter, as the package gcc-7 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/923982 The version of this package that was in Debian prior to this removal can still be found using http://snapshot.debian.org/. Please note that the changes have been done on the master archive and will not propagate to any mirrors until the next dinstall run at the earliest. 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 ---