Bug#427107: found 4.6.1-5

To: control@bugs.debian.org, 427107@bugs.debian.org
Cc: Nicolas Boulenguez <nicolas.boulenguez@free.fr>
Subject: Bug#427107: found 4.6.1-5
From: Nicolas Boulenguez <nicolas.boulenguez@free.fr>
Date: Wed, 31 Aug 2011 16:52:19 +0200
Message-id: <[🔎] 87fwkhbplo.fsf@free.fr>
Reply-to: Nicolas Boulenguez <nicolas.boulenguez@free.fr>, 427107@bugs.debian.org

reassign 427107 gnat-4.6
found 427107 4.6.1-5
thanks

We now have two distinct assertion failures.

First version with T1 Eq Neq gives:
4.6.1 (x86_64-pc-linux-gnu) Assert_Failure einfo.adb:904
Error detected at pak1.ads:1:1

Second version with T1 Eq and T2 Eq gives:
4.6.1 (x86_64-pc-linux-gnu) Assert_Failure einfo.adb:910
Error detected at pak2.ads:6:43

Reply to:

Follow-Ups:
- Processed: found 4.6.1-5
  - From: owner@bugs.debian.org (Debian Bug Tracking System)

Prev by Date: Processed: found in 4.6.1-5
Next by Date: Processed: found 4.6.1-5
Previous by thread: Processed (with 1 errors): found 4.6.1-5
Next by thread: Processed: found 4.6.1-5
Index(es):
- Date
- Thread