On Thu, 21 Nov 2024 13:27:33 +0100 Emilio Pozuelo Monfort wrote:
  Build-Depends: libopenmpi-dev | architecture-is-32-bit
Why not just drop this B-D? mpi-default-dev is in the B-D list which takes care to install libopenmpi-dev where it is available.

Reply via email to