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

2012-12-21 Thread Tobias Hansen
The removal request is bug #695808. -- To UNSUBSCRIBE, email to debian-bugs-rc-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org

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

2012-12-12 Thread Ludovic Brenta
Tobias Hansen writes: > Am 06.12.2012 20:57, schrieb Tobias Hansen: >> 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 maint

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

2012-12-12 Thread Tobias Hansen
Am 06.12.2012 20:57, schrieb Tobias Hansen: > 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 sti

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

2012-12-06 Thread Tobias Hansen
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 r

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

2012-12-06 Thread 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.

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

2012-12-06 Thread Tobias Hansen
Hi, since we have gnat-4.6 in wheezy and gnat-4.4 does not build anymore (see #669513), can gnat-4.4 be removed? Best regards, Tobias -- To UNSUBSCRIBE, email to debian-bugs-rc-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org