This is an automated email from the git hooks/post-receive script.

hendrik-guest pushed a change to annotated tag debian/8.6-1
in repository coq-doc.

        at  910c326   (tag)
   tagging  2dc0095a6bc2cd2b4c4916b19bbe1c55d7a87880 (commit)
  replaces  debian/8.4pl4-2
 tagged by  Hendrik Tews
        on  Wed Jul 5 22:56:40 2017 +0200

- Log -----------------------------------------------------------------
coq-doc Debian release 8.6-1
-----BEGIN PGP SIGNATURE-----

iQJFBAABCgAvFiEEd+jPoq9S7zZIRjvN7GhXfe3K7mgFAlldUogRHGhlbmRyaWtA
YXNrcmEuZGUACgkQ7GhXfe3K7mjrfg/8DPE+PDyNqf9mic6AmCa8su9Z4nOJR2Vy
3apDWEql8+srO6NqKZYsCv0lQqHkzu5zU8e8bA3NZnLGzktBy4LygDUsJKSm47JH
Feb369fyFSYy/ylRjIPkU2BOj3rdIhppDh2H9rqEivCAecVgQFqRnTKvzWPGvXww
T6+/xRg7ICqNkkNT0p40ERu3UaUPJLuerge/RoKK2subphLpKJBuX3YamcTmJQCz
/Yg3fd890G3+H31/sBAcZlAQebrlKO+wcXMVEGnsv3XnmKdBY2vM9dlk/5pFBj7F
5CgefhrmIRamezeJnaEH6eSbHLiSd/e9kO1Gv6I9UFM5cgZ1PWneRlAFWLw8rUDo
WkmzDBgiQFGaELiANeUgnsMDwZeNLcYr4jobKsCh4zYMc0i7c+leY6i5NDjZk2Zg
QHsMg1EKmCFjnLtsc7EMeGkzEqmvMmdjQHd6vCALd0bsg2LLyMMLnQwd7g/hmRFB
iZEfC2q9QqJMDvzRV7dV+IKnQP2ENPqh4OoB1VIhW+pdve19zb6huNeBujgLeahB
BQ8Le1F6JU5kn6lRtRZQuzli4nndzSYMRpat/YcUtaMbnY6bTA01eEC04D1Ag+yD
RR/6+CT2OHCfgDHWTZZ9GWhxK2MLX4WixUq2mdWStelOO7riFA4Zjs2HJsieFGbm
7yM+OA4FQAY=
=lZur
-----END PGP SIGNATURE-----

Hendrik Tews (3):
      New upstream version 8.6
      Merge tag 'upstream/8.6'
      new upstream version and minor polishing

-----------------------------------------------------------------------

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

Reply via email to