comp.lang.ada
 help / color / mirror / Atom feed
From: Ludovic Brenta <ludovic@ludovic-brenta.org>
Subject: Re: Bug in gnat-4.4
Date: Mon, 18 Oct 2010 22:38:47 +0200
Date: 2010-10-18T22:38:47+02:00	[thread overview]
Message-ID: <87vd4zs0bs.fsf@ludovic-brenta.org> (raw)
In-Reply-To: 1widfgg1w9k9t$.r1ng0dv38z7m$.dlg@40tude.net

"Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de> writes:
> On Mon, 18 Oct 2010 21:41:56 +0200, Ludovic Brenta wrote:
>> No Program_Error.
>
> Good news!
>
>> Are you sure this is the correct way to reproduce your bug?
>
> Yes, it is. But I have gnat-4.4.4-4.

That means your bug was really #589164, as I suspected.  The backport
for the fix is in -5.

> apt-get update/upgrade keeps it old.  I'll try aptitude
> dist-upgrade. How wonderful it is to have a dozen utilities for doing
> the same thing...

Since all these utilities use the same apt back-end, they all give the
same results.  What do you have in /etc/apt/sources.list?

-- 
Ludovic Brenta.



  reply	other threads:[~2010-10-18 20:38 UTC|newest]

Thread overview: 17+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2010-10-17 21:32 GtkAda on Windows: Does anyone have a gtkada.gpr file? Michael R
2010-10-18  7:30 ` Rick
2010-10-18  7:50 ` Dmitry A. Kazakov
2010-10-18 12:43   ` Ludovic Brenta
2010-10-18 13:32     ` Georg Bauhaus
2010-10-18 15:32       ` Ludovic Brenta
2010-10-18 13:49     ` Dmitry A. Kazakov
2010-10-18 15:40       ` Ludovic Brenta
2010-10-18 16:43         ` Dmitry A. Kazakov
2010-10-18 17:04           ` Ludovic Brenta
2010-10-18 19:38           ` Simon Wright
2010-10-18 19:41           ` Bug in gnat-4.4 (was: GtkAda on Windows: Does anyone have a gtkada.gpr file?) Ludovic Brenta
2010-10-18 20:29             ` Bug in gnat-4.4 Dmitry A. Kazakov
2010-10-18 20:38               ` Ludovic Brenta [this message]
2010-10-19  6:36                 ` Michael R
2010-10-19  7:24                 ` Dmitry A. Kazakov
2010-10-22 19:41                 ` Bug in gnat-4.4, revisited Dmitry A. Kazakov
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox