On 07/01/13 10:47, Ludovic Brenta wrote: > Matthias Klose <d...@debian.org> 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 debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
