Processed: Re: Bug#813691: make openmpi the default on s390x

Debian Bug Tracking System owner at bugs.debian.org
Thu Feb 4 12:12:04 UTC 2016


Processing control commands:

> tag -1 moreinfo
Bug #813691 [src:mpi-defaults] make openmpi the default on s390x
Added tag(s) moreinfo.

-- 
813691: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=813691
Debian Bug Tracking System
Contact owner at bugs.debian.org with problems



More information about the debian-science-maintainers mailing list