Your message dated Sun, 28 Jul 2024 15:35:35 +0000 with message-id <e1sy5vr-00f0o3...@fasolo.debian.org> and subject line Bug#1076503: Removed package(s) from unstable has caused the Debian Bug report #737225, regarding [Fixed in 11] gnat: decimal type's 'Round does not round, effectively truncates 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.) -- 737225: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=737225 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems
--- Begin Message ---Package: gnat Version: 4.6 Severity: normal Tags: patch Dear Maintainer, The program attached to this report reflects a finding in c.l.ada, Jan 2014, "How to round to the nearest fixed-point value", Message-ID: <slrnldvtim.1lme.lithium...@sigil.instinctive.eu which has been classified as a compiler bug. The program should run as is, with no output. Instead, it raises Program_Error because the value of 0.999, rounded to 3 digits, is not 1.00, but 0.99. procedure Round_Decimal is -- OJBECTIVE: -- Check that 'Round of a decimal fixed point type does round -- away from zero if the operand is of a decimal fixed point -- type with a smaller delta. type Milli is delta 0.001 digits 9; type Centi is delta 0.01 digits 9; function Rounded (Value : Milli) return Centi; -- Value, rounded using Centi'Round function Rounded (Value : Milli) return Centi is begin return Centi'Round (Value); end Rounded; begin -- Operands used directly: if not (Milli'Round (0.999) = Milli'(0.999) and Centi'Round (0.999) = Centi'(1.0) and Centi'Round (Milli'(0.999)) = Centi'(1.0)) then raise Program_Error; end if; -- This is expected to fail, currently, but shouldn't: if Rounded (Milli'(0.999)) /= Centi'(1.0) then raise Program_Error; end if; end Round_Decimal; -- System Information: Debian Release: 7.3 APT prefers stable APT policy: (500, 'stable') Architecture: i386 (i686) Kernel: Linux 3.2.0-4-686-pae (SMP w/1 CPU core) Locale: LANG=en_US.UTF-8, LC_CTYPE=en_US.UTF-8 (charmap=UTF-8) Shell: /bin/sh linked to /bin/dash Versions of packages gnat depends on: ii gnat-4.6 4.6.3-8 Versions of packages gnat recommends: pn ada-reference-manual <none> pn gnat-gps <none> gnat suggests no packages. -- no debconf information
--- End Message ---
--- Begin Message ---Version: 10.5.0-4+rm Dear submitter, as the package gcc-10 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/1076503 The version of this package that was in Debian prior to this removal can still be found using https://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 ftpmas...@ftp-master.debian.org. Debian distribution maintenance software pp. Scott Kitterman (the ftpmaster behind the curtain)
--- End Message ---
