Am Mittwoch, den 17.04.2019, 18:09 +0200 schrieb Björn 'besser82' Esser:
> Am Mittwoch, den 17.04.2019, 09:59 -0600 schrieb Christoph Junghans:
> > I think a rebuild will fix the problem:
> > https://src.fedoraproject.org/rpms/openmpi/pull-request/5
> >
> > On Wed, Apr 17, 2019 at 9:53 AM Christop
Am Mittwoch, den 17.04.2019, 09:59 -0600 schrieb Christoph Junghans:
> I think a rebuild will fix the problem:
> https://src.fedoraproject.org/rpms/openmpi/pull-request/5
>
> On Wed, Apr 17, 2019 at 9:53 AM Christoph Junghans > wrote:
> > Hi all,
> >
> > Some of my packages failed to build due t
I think a rebuild will fix the problem:
https://src.fedoraproject.org/rpms/openmpi/pull-request/5
On Wed, Apr 17, 2019 at 9:53 AM Christoph Junghans wrote:
>
> Hi all,
>
> Some of my packages failed to build due to a openmpi breakage
>
> DEBUG util.py:554: BUILDSTDERR: Error:
> DEBUG util.py:554