[DHG_packages] annotated tag agda_v2.5.3-1 created (now 2fcb4b0)
Joachim Breitner
nomeata at moszumanska.debian.org
Fri Oct 13 15:59:08 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-1
in repository DHG_packages.
at 2fcb4b0 (tag)
tagging f07577f4b28641d64d4dd3c440f2e8c15f046488 (commit)
replaces haskell-servant_v0.11-1
tagged by Joachim Breitner
on Fri Oct 13 11:59:02 2017 -0400
- Log -----------------------------------------------------------------
Tagging agda version 2.5.3-1, targetted for unstable
Joachim Breitner (1):
Typo in Agda build-depends
-----------------------------------------------------------------------
No new revisions were added by this update.
--
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