Processing commands for cont...@bugs.debian.org: > forcemerge 908503 908560 Bug #908503 [libopenmpi-dev] libopenmpi-dev: includes ompi_monitoring_prof.so also contained in libopenmpi3 Bug #908503 [libopenmpi-dev] libopenmpi-dev: includes ompi_monitoring_prof.so also contained in libopenmpi3 Marked as found in versions openmpi/3.1.2-1. Bug #908560 [libopenmpi-dev] libopenmpi-dev: libopenmpi=dev 3.1.2-1 will not upgrade to 3.1.2-2 Severity set to 'serious' from 'normal' Marked as found in versions openmpi/3.1.2-2. Merged 908503 908560 > thanks Stopping processing here.
Please contact me if you need assistance. -- 908503: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=908503 908560: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=908560 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems
