Processed: Re: Bug#813494: mpi-default-dev: Please depend on openmpi (>= 1.10.2 -3 )

2017-01-29 Thread Debian Bug Tracking System
Processing commands for cont...@bugs.debian.org: > tag 813494 wontfix Bug #813494 [mpi-default-dev] mpi-default-dev: Please depend on openmpi (>= 1.10.2 -3 ) Added tag(s) wontfix. > thanks Stopping processing here. Please contact me if you need assistance. -- 813494:

Processed: Re: Bug#813494: mpi-default-dev: Please depend on openmpi (>= 1.10.2 -3 )

2016-02-07 Thread Debian Bug Tracking System
Processing control commands: > tag -1 moreinfo Bug #813494 [mpi-default-dev] mpi-default-dev: Please depend on openmpi (>= 1.10.2 -3 ) Added tag(s) moreinfo. -- 813494: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=813494 Debian Bug Tracking System Contact ow...@bugs.debian.org with