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
