On Thu, 29 Jun 2017, Debian Bug Tracking System wrote:
if you want it being installable, just stop using sid. sid is meant for transitions, so stuff is uninstallable from time to time.
does this mean bug reports are undesireable for packages in sid? I had a different impression. Like testing sid and reporting bugs and helping to fix them contributes to make debian better.
You can email release team if you want openmpi to migrate faster
No, I did something simpler: a recompile of the petsc package from the source package did the trick. Like: apt-get build-dep petsc-dev (did nothing in my case, all build-depends were already installed) apt-get --compile source petsc-dev dpkg -i resulting packages. It worked and I reported about it, just to help others since my problem was fixed already and I did not need to do anything more about it. So, question: what is the point being rude to someone that politely reports about a bug and actually even suggests how to fix it? And a remark: I may understand that you think the bug is not yours to fix, so you may tag it "wontfix" or move it to openmpi (by the way, that's fixed now). But closing the bug is just plain wrong, since the bug is there and the package is still uninstallable. regards Giacomo -- _________________________________________________________________ Giacomo Mulas <gmu...@oa-cagliari.inaf.it> _________________________________________________________________ INAF - Osservatorio Astronomico di Cagliari via della scienza 5 - 09047 Selargius (CA) tel. +39 070 71180244 mob. : +39 329 6603810 _________________________________________________________________ "When the storms are raging around you, stay right where you are" (Freddy Mercury) _________________________________________________________________