[DHG_packages] annotated tag agda_v2.5.1-1 created (now 422bd6d)

[Joachim Breitner]

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

nomeata pushed a change to annotated tag agda_v2.5.1-1
in repository DHG_packages.

        at  422bd6d   (tag)
   tagging  b78726d21d5e4d5376c0dd1d03bf0e761792c2bd (commit)
  replaces  xmonad-extras_v0.12.1-1
 tagged by  Joachim Breitner
        on  Mon Jun 13 17:19:33 2016 +0200

- Log -----------------------------------------------------------------
Tagging agda version 2.5.1-1, targetted for unstable

Joachim Breitner (3):
      jwt: Uh, the reason to upgrade was to enable the tests. Forgot that for a moment.
      Merge branch 'master' of alioth.debian.org:/git/pkg-haskell/DHG_packages
      Fix lintian-overrides file

Lev Lamberov (2):
      xmonad-extras: fix spelling
      xmonad-wallpaper: fix spelling in debian/control

Sean Whitton (8):
      agda: actually fix .agdai generation
      agda: override binary-or-shlib-defines-rpath
      agda: disable -dbgsym
      agda: update Vcs-Git
      agda: update first line of d/copyright
      agda: add patch header
      Merge branch 'master' of https://anonscm.debian.org/git/pkg-haskell/DHG_packages
      agda: release 2.5.1-1

-----------------------------------------------------------------------

This annotated tag includes the following new commits:

       new  b78726d   Fix lintian-overrides file

The 1 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.


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