[Pkg-openmpi-maintainers] optional/extra overrides, again
Manuel Prinz
debian at pinguinkiste.de
Thu Aug 2 12:52:40 UTC 2007
Hi all,
can someone please explain why all "extra"s got overrides to "optional"?
I added extra to fix the former warning and now there are actually more
overrides and more warnings?! (OpenMPI being optional is IMHO a Policy
violation, that's why we changed things.)
I'm unable to find any useful documentation where the overrides come
from or even why they happen or for what reasoning. Can you explain that
to me or point me to some documentation? Thanks!
Confused,
Manuel
More information about the Pkg-openmpi-maintainers
mailing list