[Pkg-openmpi-maintainers] Package names

[Dirk Eddelbuettel]

i)  Should the lib package be called 
	openmpi-libs0			(current setting)
    or
	libopenmpi1			(lib prefix, major at end)
    or something else?
    Same for the -dev package:
	libopenmpi-dev

ii) Should the doc package be
	openmpi-mpidoc
    or the somewhat simpler
	openmpi-doc

We are creating new packages anyway, so we'll be in the new queue for a bit
anyhow.  We may as well do it right.

[ We will need the Conflicts:/Provides:/Replaces: entries in the
debian/control file as there are existing packages. ]

Dirk
    
-- 
Hell, there are no rules here - we're trying to accomplish something. 
                                                  -- Thomas A. Edison