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 

Pkg-ocaml-maint-commits mailing list

Reply via email to