This is an automated email from the git hooks/post-receive script.
treinen pushed a change to annotated tag debian/0.95.1-3
in repository alt-ergo.
at 8aa412e (tag)
tagging 4cb6613bb6aecedfda52640661ac1c493c09d5ab (commit)
replaces debian/0.95.1-2
tagged by Ralf Treinen
on Sat Aug 24 11:05:28 2013 +0200
- Log -----------------------------------------------------------------
alt-ergo Debian release 0.95.1-3
Ralf Treinen (1):
lib-dev package breaks/replaces alt-ergo in versions before package split
-----------------------------------------------------------------------
No new revisions were added by this update.
--
Alioth's /usr/local/bin/git-commit-notice on
/srv/git.debian.org/git/pkg-ocaml-maint/packages/alt-ergo.git
_______________________________________________
Pkg-ocaml-maint-commits mailing list
Pkg-ocaml-maint-commits@lists.alioth.debian.org
http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-ocaml-maint-commits
