This is an automated email from the git hooks/post-receive script. glondu pushed a change to annotated tag debian/8.4pl2-1 in repository coq-doc.
at 0ebebfd (tag) tagging 189e896f8fa7fe4bf9aaf87a51393249171dedc2 (commit) replaces debian/8.3pl4-1 tagged by Stephane Glondu on Fri Dec 13 15:07:56 2013 +0100 - Log ----------------------------------------------------------------- coq-doc Debian release 8.4pl2-1 -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.15 (GNU/Linux) iQIcBAABCgAGBQJSqxS9AAoJEHhT2k1JiBrTlqIQAKceu/eVnzWp07bSyWAqLblf Ea6Sn30cDRu2nLGQBB2I3pPxByuGrfv3yx1oTqdQNGEeRkoy+qwVPul3IBeyelff qToEtmesYLQVouD/OgVHsAZ0TPXvl4X0orme04F+lvy3EcgNDKIkCFLsMG5kjz1Z 7QNuTUAeR4ySBR9/oo9IkscNjMIkDia3s1JeKoJ8HNzT0eVEu1O2xH4OHtCp/XOg 03PCTP6pSD+yImcBrQLZt2mKDiaZoFZHguoaxn226fGLXmh80+llJrnnAU4NTYEZ v4m/nELZLch+u+93lmvNDvyXDYdumYniUz42Qt/ZjNpHj3CXSnVDqDtmpfOpMUta FtG+2JivIGIvxv7uBumWx/x8EEEmwwTEL4U5lEcXrPCoNDstfJ/UN+yR8YNs913d S8QpFb2ysVpdubqI148O1jQ8LItEfEKN4Md3oaRY5kB2GJWmNGVogjqXN8yaM2Jl 6ioG2zqEujhWnwkvA6UPQJEqdqUguy3e1LILl5EM7tPXFcExv5lz6JuYRVeYqjqB JlUhWMJNTUbaSCRkniSNbsybjvBDRYHewkfbIQuWMCUQzjqSBd7ATSBxuy7Q+3xP whUkFrZ5rW+qJt6hJapoTq/1zrSlqVewPnRN39eyEX3uZYGpbIcpqMRwda6yWWBJ 1EhRHmFlYOHit8ei81CL =2YGv -----END PGP SIGNATURE----- Stephane Glondu (8): Imported Upstream version 8.4 Imported Upstream version 8.4pl1 Imported Upstream version 8.4pl2 Merge tag 'upstream/8.4pl2' New upstream release Debhelper compat level 9 Update Vcs-* Update changelog and prepare upload to unstable ----------------------------------------------------------------------- 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/coq-doc.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