On 07/01/13 10:47, Ludovic Brenta wrote: > Matthias Klose <[email protected]> writes: >> Package: ftp.debian.org >> >> Not sure why that wasn't removed before. But please lets do it now. > > Because of ghdl. We cannot remove gnat-4.4 before ghdl.
thanks. raised the severity of #695303 as a reminder that ghdl removal should be decided for the jessie release, if it cannot be ported to a newer gnat. -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]
