[DHG_packages] annotated tag agda_v2.5.3-3 created (now ad390db)

[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-3
in repository DHG_packages.

        at  ad390db   (tag)
   tagging  d089cbd255e8bae6ade195f4bc11d1ac033df6ce (commit)
  replaces  agda_v2.5.3-2
 tagged by  Joachim Breitner
        on  Fri Oct 13 22:56:38 2017 -0400

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

Joachim Breitner (1):
      Search for .agda-lib files in /var/lib/agda So that agda -l standard-library works out of te box

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

This annotated tag includes the following new commits:

       new  d089cbd   Search for .agda-lib files in /var/lib/agda So that agda -l standard-library works out of te box

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