Could you double check?
Oh. libhdf5-serial-dev and libhdf5-mpi-dev were installed simultaneously. Is there some Conflict: missing?
After installing libhdf5-dev everything was fine. Thorsten -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]

