[Pkg-openmpi-maintainers] Bug#504161: libopenmpi-dev: Package cannot be installed

[Dirk Eddelbuettel]

On 2 November 2008 at 16:35, Manuel Prinz wrote:
| I tested both upgrade from 1.2.7~rc2 and 1.2.8-1, both worked on my
| system. There are no duplicate files in the packages anymore, so we
| should be good. If you want to give it a shot, the patch is in SVN. I
| can upload anytime, but if you can find some time for testing, I'd be
| happy for feedback.

The -3 packages also install cleanly over the -2 packages I uploaded
yesterday. So I'd say go ahead and upload.

Thanks for fixing this.

Dirk

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