Devuan bug reports: package openmpi-doc-3.1.3-10

Note that with multi-binary packages there may be other reports filed under the different binary package names.

See the listing of packages.
Previous package in list, openjdk-8-jre-headless
Next package in list, openrc


Normal bugs - outstanding:

(List of all such bugs is available.)

Devuan BTS -- Powered by Debian bug tracking system
Copyright (C) 1999 Darren O. Benham,
1997 nCipher Corporation Ltd, 1994-97 Ian Jackson.

Devuan Bugs Owner <owner@bugs.devuan.org>.
Last modified: Tue, 18 Jun 2019 06:39:01 UTC