[DHG_packages] branch master updated (d7902c8 -> d9ab9cc)

[Gianfranco Costamagna]

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

locutusofborg pushed a change to branch master
in repository DHG_packages.

      from  d7902c8   Reintroduce murmur-hash due to ada dependency
       new  b556249   agda: drop old patches, upstream
       new  d9ab9cc   agda: update to new release, bump compat level to 10 and std-version to 4.0.0

The 2 revisions listed above as "new" are entirely new to this
repository and will be described in separate emails.  The revisions
listed as "adds" were already present in the repository and have only
been added to this reference.


Summary of changes:
 p/agda/debian/changelog                           | 11 +++++++++
 p/agda/debian/compat                              |  2 +-
 p/agda/debian/control                             | 27 +++++++++++++----------
 p/agda/debian/patches/add-elpa-pkg-el-file.patch  | 12 ----------
 p/agda/debian/patches/bump-directory-bounds.patch | 20 -----------------
 p/agda/debian/patches/fix-build-ghc-8.0.2.patch   | 23 -------------------
 p/agda/debian/patches/newer-edison-api            | 11 ---------
 p/agda/debian/patches/series                      |  4 ----
 8 files changed, 27 insertions(+), 83 deletions(-)
 delete mode 100644 p/agda/debian/patches/add-elpa-pkg-el-file.patch
 delete mode 100644 p/agda/debian/patches/bump-directory-bounds.patch
 delete mode 100644 p/agda/debian/patches/fix-build-ghc-8.0.2.patch
 delete mode 100644 p/agda/debian/patches/newer-edison-api
 delete mode 100644 p/agda/debian/patches/series

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-haskell/DHG_packages.git