[DHG_packages] branch master updated (7bfdd3e -> 81da9d3)

[Joachim Breitner]

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

nomeata pushed a change to branch master
in repository DHG_packages.

      from  7bfdd3e   Initial packaging of uri-encode-1.5.0.5
      adds  81da9d3   Typo in build-depends

No new revisions were added by this update.

Summary of changes:
 p/agda/debian/changelog | 6 ++++++
 p/agda/debian/control   | 2 +-
 2 files changed, 7 insertions(+), 1 deletion(-)

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