Bug#865526: closed by Gianfranco Costamagna <locutusofborg at debian.org> (Re: libpetsc3.7.5-dev: uninstallable on current sid)

[Adrian Bunk]

Control: reopen -1

On Thu, Jun 29, 2017 at 03:24:06PM +0000, Debian Bug Tracking System wrote:
> Date: Thu, 29 Jun 2017 17:21:34 +0200
> From: Gianfranco Costamagna <locutusofborg at debian.org>
> To: 865526-done at bugs.debian.org
> Subject: Re: libpetsc3.7.5-dev: uninstallable on current sid
> 
> 
> > since openmpi was upgraded in sid, libpetsc3.7.5-dev and libpetsc3.7.6-dev
> > became uninstallable on sid, since they depend on libopenmpi-dev (< 2.0.3).
> > I tried compiling the package from source but it gets stuck precisely when
> > checking mpi. Upon further checking it looks like the openmpi development
> > environment on my laptop is broken, despite all packages appear to be
> > correctly installed: many libs are installed only under 
> > /usr/lib/x86_64-linux-gnu/openmpi/lib, with no soft links to 
> > /usr/lib/x86_64-linux-gnu (even if running dpkg -L libopenmpi2 says they
> > should be!).
> > 
> > Any chance to have petsc-dev installable again soon?  petsc and slepc are
> > key dependencies of my quite a bit of my home-developed scientific software. 
> > Any suggestion for a quick-n-dirty fix to get it to compile with the newer
> > openmpi?
> 
> if you want it being installable, just stop using sid.
> sid is meant for transitions, so stuff is uninstallable from time to time.
>...

No disagreement on that, but why did you close the bug?

This is a release critical bug that should stay open until it is fixed 
in sid.

> G.


cu
Adrian

-- 

       "Is there not promise of rain?" Ling Tan asked suddenly out
        of the darkness. There had been need of rain for many days.
       "Only a promise," Lao Er said.
                                       Pearl S. Buck - Dragon Seed