On Wed, 15 Feb 2017 23:40:57 +0800 Drew Parsons <dparsons@debian.org> wrote: > > the Affecting Bug shows up neither on the src:petsc > overview on bugs.debian.org, nor in reportbug (for libpetsc3.7.5- > dev). > I'll file a bug (or 2 bugs). > In fact already reported. #544812 against reportbug #636689 against bugs.debian.org