Still Failing: g-i-installation_debian_sid_daily_hurd_lxde/385

2017-07-17 Thread jenkins
See https://jenkins.debian.net/job/g-i-installation_debian_sid_daily_hurd_lxde/385/ and https://jenkins.debian.net/job/g-i-installation_debian_sid_daily_hurd_lxde/385//console and https://jenkins.debian.net/job/g-i-installation_debian_sid_daily_hurd_lxde/385//artifact/results/ if there are an

Re: give back petsc (also, slepc)

2017-07-17 Thread Samuel Thibault
Hello, Drew Parsons, on dim. 16 juil. 2017 21:21:39 +0800, wrote: > The hurd buildd got itself lost building petsc 3.7.6. It builds fine > on the porterbox. Please give back for building. Indeed it built fine > Once it's done, slepc should be rebuilt against it Now scheduled. Thanks, Samuel

Re: give back petsc (also, slepc)

2017-07-17 Thread Drew Parsons
On Mon, 2017-07-17 at 10:44 -0500, Samuel Thibault wrote: > Hello, > > Drew Parsons, on dim. 16 juil. 2017 21:21:39 +0800, wrote: > > The hurd buildd got itself lost building petsc 3.7.6.  It builds > > fine > > on the porterbox.  Please give back for building. > > Indeed it built fine > > > Onc