[Pkg-openmpi-maintainers] Processed: Re: Bug#782653: openmpi: Fails to build from source

Debian Bug Tracking System owner at bugs.debian.org
Fri Apr 17 06:09:05 UTC 2015

Previous message: [Pkg-openmpi-maintainers] Bug#782653: openmpi: Fails to build from source
Next message: [Pkg-openmpi-maintainers] Bug#782653: openmpi: (non-)reproducibility of build failure
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Processing control commands:

> tag -1 -unreproducible
Bug #782653 [src:openmpi] openmpi: Fails to build from source
Removed tag(s) unreproducible.

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

Previous message: [Pkg-openmpi-maintainers] Bug#782653: openmpi: Fails to build from source
Next message: [Pkg-openmpi-maintainers] Bug#782653: openmpi: (non-)reproducibility of build failure
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the Pkg-openmpi-maintainers mailing list