I should say that this is uninstallable in unstable only. stretch is fine.
- Bug#854905: libpetsc3.7.5-dev: Package uninstal... Dima Kogan
- Bug#854905: Acknowledgement (libpetsc3.7.5... Dima Kogan
- Bug#854905: nmu: petsc_3.7.5+dfsg1-4 Adrian Bunk
- Processed: nmu: petsc_3.7.5+dfsg1-4 Debian Bug Tracking System