tags 452047 + pending thanks Hi Nicholas,
I added a fix in trunk a while ago which seems to work and uses alternatives. Nevertheless, when installing other MPI -dev packages, the problem is still the same due to a bug in update-alternatives. I thought of patching but it's not as easy as I thought in the beginning. I'm not quite sure how to proceed though or what would be the correct way to handle things here. I'm not sure if it's ok to raise the serverity of the bugs against dpkg, so they get a little more attention. I'm still trying to figure that out. Just wanted to let you know that we're working on the issue, even if it has remained quite silent lately. Best regards Manuel
signature.asc
Description: Dies ist ein digital signierter Nachrichtenteil
