[Pkg-openmpi-maintainers] optional/extra overrides, again

[Dirk Eddelbuettel]

On Thu, Aug 02, 2007 at 02:52:40PM +0200, Manuel Prinz wrote:
> 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!

AFAIK there are two places were values are set:

-- "our" debian/control, where we just lowered things to extra for good extra

-- archive maintainer's override file

I think it is just a question of emailing the archive maintainers and
sugegsting that they also lower to extra. Would you have time for
that?

Dirk

-- 
Three out of two people have difficulties with fractions.