Hi, I am the maintainer of the gcc42-bin package. Since it doesn't work anymore and I am not willing to fix it, could you remove it please? I will keep on maintaining the source package gcc42 which is cleaner than the bin package. Thanks in advance, Martin Peres