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

[Tobias Hansen <thansen@debian.org>]

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.

Cheers,
Tobias