[petsc] branch master updated (48a1d4a -> 560282d)

[Drew Parsons]

This is an automated email from the git hooks/post-receive script.

dparsons pushed a change to branch master
in repository petsc.

      from  48a1d4a   Don't duplicate -dev dependencies.
      adds  d4077f8   Move petsc3.7 alternatives handling to libpetsc3.7.5-dev
      adds  560282d   upload 3.7.5+dfsg1-4 to unstable

No new revisions were added by this update.

Summary of changes:
 debian/changelog                           |  8 ++++++--
 debian/libpetsc-complex-3.7-dev.postinst   | 25 -------------------------
 debian/libpetsc-complex-3.7-dev.prerm      | 18 ------------------
 debian/libpetsc-complex-3.7.5-dev.postinst |  8 ++++++++
 debian/libpetsc-complex-3.7.5-dev.prerm    |  7 +++++++
 debian/libpetsc3.7-dev.postinst            | 25 -------------------------
 debian/libpetsc3.7-dev.prerm               | 18 ------------------
 debian/libpetsc3.7.5-dev.postinst          |  9 +++++++++
 debian/libpetsc3.7.5-dev.prerm             |  9 +++++++++
 9 files changed, 39 insertions(+), 88 deletions(-)
 delete mode 100644 debian/libpetsc-complex-3.7-dev.postinst
 delete mode 100644 debian/libpetsc-complex-3.7-dev.prerm
 delete mode 100644 debian/libpetsc3.7-dev.postinst
 delete mode 100644 debian/libpetsc3.7-dev.prerm

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/debian-science/packages/petsc.git