[DHG_packages] annotated tag agda_v2.5.3-2 created (now 1bf2e25)

[Joachim Breitner]

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

nomeata pushed a change to annotated tag agda_v2.5.3-2
in repository DHG_packages.

        at  1bf2e25   (tag)
   tagging  81da9d38f91743ce6ef6ff901244fc0f1b671305 (commit)
  replaces  haskell-uri-encode_v1.5.0.5-1
 tagged by  Joachim Breitner
        on  Fri Oct 13 21:18:14 2017 -0400

- Log -----------------------------------------------------------------
Tagging agda version 2.5.3-2, targetted for unstable

Joachim Breitner (1):
      Typo in build-depends

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

This annotated tag includes the following new commits:

       new  81da9d3   Typo in build-depends

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