On Thu, 2018-07-19 at 10:18 +0800, Drew Parsons wrote:
>
> OpenMPI was libopenmpi-dev 3.1.0-7 in the failing deal.ii tests, and
> libopenmpi-dev 3.1.1.real-3 in the successful tests. Either way
> that's
> still openmpi 3.1, so is supposed to be compatible.
>
> So looks like you're right, there
On Wed, 2018-07-18 at 13:52 +0200, Paul Gevers wrote:
> Package: libpetsc-real3.9-dev
> Version: 3.9.3+dfsg1-2
>
> Dear Drew,
>
> On 17-07-18 13:20, Graham Inggs wrote:
> > Hi Drew
> >
> > > On Tue, 17 Jul 2018, Drew Parsons wrote:
> > > > The configuration of ci.debian.org is not consistent.
Package: libpetsc-real3.9-dev
Version: 3.9.3+dfsg1-2
Dear Drew,
On 17-07-18 13:20, Graham Inggs wrote:
> Hi Drew
>
>> On Tue, 17 Jul 2018, Drew Parsons wrote:
>>> The configuration of ci.debian.org is not consistent. A failing test
>>> of deal.ii is marked on
>>> https://ci.debian.net/packages
3 matches
Mail list logo
