Bug#714577: RM: gnat-4.4 -- obsolete

2013-07-01 Thread Ludovic Brenta
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. -- Ludovic Brenta. -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a

Bug#714577: RM: gnat-4.4 -- obsolete

2013-07-01 Thread Matthias Klose
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

Bug#714577: RM: gnat-4.4 -- obsolete

2013-06-30 Thread Matthias Klose
Package: ftp.debian.org Not sure why that wasn't removed before. But please lets do it now. -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org