Bug#669513: Removal of gnat-4.4 due to RC bug #669513

[Tobias Hansen <thansen@debian.org>]

Am 06.12.2012 20:57, schrieb Tobias Hansen:
> Am 06.12.2012 20:44, schrieb Ludovic Brenta:
>> Tobias Hansen writes:
>>> since we have gnat-4.6 in wheezy and gnat-4.4 does not build anymore
>>> (see #669513), can gnat-4.4 be removed?
>>
>> Yes but maybe notify the maintainers of the sole package still depending
>> on it, ghdl.  This package is the reason I've refrained from asking for
>> removal of gnat-4.4 sthus far.
>>
>> Thanks for your time and concern
>>
> 
> Since you are a gnat-4.4 uploader, will you file the removal request? I
> will file a bug against ghdl. By the way, ghdl is not in wheezy anymore,
> only in unstable.
>

I filed a bug against ghdl, #695303, and it really needs gnat-4.4 for
now. The FTBFS of gnat-4.4 can probably be fixed in unstable by updating
it to the most recent version. But to fix #669513 in wheezy, gnat-4.4
should be removed. I'll file a request for that ok?

Cheers,
Tobias