[Pkg-haskell-commits] [agda] annotated tag debian/2.4.2.2-3 created (now a502c28)

[Joachim Breitner]

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

nomeata pushed a change to annotated tag debian/2.4.2.2-3
in repository agda.

        at  a502c28   (tag)
   tagging  2a41b2421bf41a5fb2b9cabbcd014bd45bc63a5a (commit)
  replaces  debian/2.4.2.2-2
 tagged by  Joachim Breitner
        on  Wed Jul 1 19:51:48 2015 +0200

- Log -----------------------------------------------------------------
?

Joachim Breitner (2):
      Fix dependency on hashtables
      releasing package agda version 2.4.2.2-3

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

No new revisions were added by this update.

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