On Wed, 15 Feb 2017 13:45:41 +0000 James Cowgill <[email protected]> wrote: > > > > Please look for already reported bugs before reporting new ones (there > > is an "affect" so it is in libpetsc3.7.5-dev bugs list). > > Well I did check petsc (not release.debian.org), but affects on binary > packages don't actually show up on the main bugs page - #636689 >
James is right, 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). Drew

