Bug#694652: libopal-dev: please drop conflict with libopenmpi-dev

[Ralf Treinen]

Package: libopal-dev
Version: 3.10.4~dfsg-3

Please remove the conflict with the libopenmpi-dev package which is
no longer justified. The same request was filed against the libopenmpi-dev
package (#559161) and resolved there, but apparently the request was not
sent for the libopal-dev package. To cite from bug report #559161:

  The libopal-dev and libopenmpi-dev packages were marked as conflicting to 
  resolve bug #404003; the problem was file '/usr/lib/libopal.so' contained in 
  both packages.

  Since at least lenny this library was renamed to '/usr/lib/libopen-pal.so' in 
  libopenmpi-dev package, so the confict does not exist any longer.

  There are no other conflicting files in these packages, so the conflicts tag 
  should be removed.
-- 
Ralf Treinen
Laboratoire Preuves, Programmes et Systèmes
Université Paris Diderot, Paris, France.
http://www.pps.univ-paris-diderot.fr/~treinen/
=====> New email address: treinen at pps.univ-paris-diderot.fr <=====