[dune-typetree] branch master updated (2ce8314 -> 1380dd3)

[Ansgar Burchardt]

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

ansgar pushed a change to branch master
in repository dune-typetree.

      from  2ce8314   changelog for 2.4~20150723g7b9a720-1
      adds  8375980   dune-typetree no longer builds a library.
      adds  eb6e85a   (Build-)Depend on last dune-common upload.
      adds  1380dd3   changelog for 2.4~20150908g46779ad-1

No new revisions were added by this update.

Summary of changes:
 debian/changelog                              |  8 ++++++++
 debian/control                                |  9 ++++-----
 debian/libdune-typetree-dev.install           |  6 +-----
 debian/libdune-typetree-dev.lintian-overrides |  5 -----
 debian/patches/series                         |  1 -
 debian/patches/soname.patch                   | 13 -------------
 debian/rules                                  | 12 +-----------
 7 files changed, 14 insertions(+), 40 deletions(-)
 delete mode 100644 debian/libdune-typetree-dev.lintian-overrides
 delete mode 100644 debian/patches/series
 delete mode 100644 debian/patches/soname.patch

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