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

[Sylvestre Ledru]

Le dimanche 02 novembre 2008 à 17:44 +0100, Manuel Prinz a écrit :
> Am Sonntag, den 02.11.2008, 10:21 -0600 schrieb Dirk Eddelbuettel:
> > The -3 packages also install cleanly over the -2 packages I uploaded
> > yesterday. So I'd say go ahead and upload.
> 
> Uploaded.
> 
> > Thanks for fixing this.
> 
> You're welcome!
Hello guys,

Back from week end. 
Sorry for this issue. I didn't have it while I tested it :/

Thanks for fixing this issue.

Sylvestre