[DHG_packages] annotated tag agda_v2.5.3-3 created (now ad390db)
Joachim Breitner
nomeata at moszumanska.debian.org
Sat Oct 14 02:56:44 UTC 2017
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
More information about the Pkg-haskell-commits
mailing list