[agda] annotated tag debian/2.4.2.5-1 created (now 3ea3771)

[Iain Lane]

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

laney pushed a change to annotated tag debian/2.4.2.5-1
in repository agda.

        at  3ea3771   (tag)
   tagging  502b96c2cb28eabc4e35d612f087fdc5e980383d (commit)
  replaces  debian/2.4.2.2-4
 tagged by  Iain Lane
        on  Mon Jan 4 12:56:50 2016 +0000

- Log -----------------------------------------------------------------
agda Debian release 2.4.2.5-1
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1

iQIcBAABCgAGBQJWimwSAAoJEONS1cUcUEHUaNYQAIMgkwW8JCnC31L04eBC0EGl
QA4MUp00++F69dS7SPalQNbOoqbSw0uykNHMKQKmCHJQLhIKFZSnlHCsfjLGkWY9
5fWViliGiilHqs3/adtIBE6l92w8wsLQzQ11yznX/wll28mL1LSvH13U3VVrlk+f
gCFVsoANya/k/8UKgqIJqnZUMdIJ7W0KQCfruiz7BK+zvsL8pQwByCDb8smzqXCS
ofyphK3kP3+rro3FHURdoFxu4G/1Py1wMDsIg3hoUa3oeDVr6tSGIo2378UmO6oZ
VfVevO7/JW19dRxhk5F5vVKSlMeViWq+aHurTgUGEQ5iNBD0uhupY/jSsxB/bZW4
qD7fAZU3OJBOd+vHvUR68p3b+kWc0LZ9sxh4haDHciBSDsw34iuue6cQBkM833eS
Ui6T/BcuNYxhvn2qY6Hh9cBm2eIY8PwHnRNcPjsY2TCCs03DMlPw1g1Lr8C5fdI1
p12U0BO7u/vlSb5C9Ddf3uIRI+p+Dxx+BiNeTjUKzU5e3JbtrUf1mf7pTIKSlsuU
msmkFkker5A2bYw3+dGLOqeFaum2e9n4XZOhg5cHY4N9kUg4rsGjMqYHfxsddtli
aMqcs3EbBfmTXgF6RMXSXsoM4RJpfXwqttnUe9Cs6OINJr7w732IQfnaa3ELru2x
MAsWdzgVq0w5tbTtmhcK
=4yWp
-----END PGP SIGNATURE-----

Iain Lane (8):
      Imported Upstream version 2.4.2.3
      Imported Upstream version 2.4.2.5
      Merge tag 'upstream/2.4.2.5'
      Update build-deps for new release
      Remove patches which are applied upstream
      Update changelog
      Update mtl dep version
      Finalise changelog

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

This annotated tag includes the following new commits:

       new  2fafd4d   Imported Upstream version 2.4.2.3
       new  a116bca   Imported Upstream version 2.4.2.5
       new  457a205   Merge tag 'upstream/2.4.2.5'
       new  2c258f5   Update build-deps for new release
       new  7d835fa   Remove patches which are applied upstream
       new  b5bd85b   Update changelog
       new  5fc7f86   Update mtl dep version
       new  502b96c   Finalise changelog

The 8 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/agda.git