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 -- Ludovic Brenta.