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

[Dirk Eddelbuettel]

On 2 November 2008 at 11:50, Manuel Prinz wrote:
| Seems like I'll have some time left today, will do so. Did upgrading to
| 1.2.8-1 break on your system also? I did not test that yet. 

I looked at the content of the .deb I built I verified that the offending
files where in the -dev package. I didn't bother installing them as I wanted
1.2.7* package to test a repaired upgrade.

On 2 November 2008 at 15:21, Manuel Prinz wrote:
| The revert had some weird effects on my system but I guess I worked
| everything out. I also think the build could be handled in an easier way
| but I am not sure of that. I'll just fix the issues, upload, and then
| maybe go for changing debian/rules and address the other open bugs, if
| everyone is OK with that.

That would be great, but let's make sure it works / upgrades :)  

Dirk

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