[DHG_packages] branch master updated (d7902c8 -> d9ab9cc)
Gianfranco Costamagna
locutusofborg at moszumanska.debian.org
Thu Jul 6 09:36:06 UTC 2017
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
More information about the Pkg-haskell-commits
mailing list