[Pkg-ocaml-maint-commits] [alt-ergo] annotated tag debian/0.95.1-3 created (now 8aa412e)
Ralf Treinen
treinen at alioth.debian.org
Sat Aug 24 09:24:07 UTC 2013
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
More information about the Pkg-ocaml-maint-commits
mailing list