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

[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  81da9d3   Typo in build-depends
      adds  d089cbd   Search for .agda-lib files in /var/lib/agda So that agda -l standard-library works out of te box

No new revisions were added by this update.

Summary of changes:
 p/agda/debian/changelog            |  7 +++++++
 p/agda/debian/patches/series       |  1 +
 p/agda/debian/patches/var-lib-agda | 28 ++++++++++++++++++++++++++++
 3 files changed, 36 insertions(+)
 create mode 100644 p/agda/debian/patches/var-lib-agda

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