[Pkg-ocaml-maint-commits] [coq-doc] annotated tag debian/8.6-1 created (now 910c326)

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

[Pkg-ocaml-maint-commits] [coq-doc] 03/03: new upstream version and minor polishing

This is an automated email from the git hooks/post-receive script. hendrik-guest pushed a commit to branch master in repository coq-doc. commit 2dc0095a6bc2cd2b4c4916b19bbe1c55d7a87880 Author: Hendrik Tews Date: Wed Jul 5 22:21:24 2017 +0200 new upstream version and

[Pkg-ocaml-maint-commits] [coq-doc] branch pristine-tar updated (b3df77e -> 3c30ad1)

This is an automated email from the git hooks/post-receive script. hendrik-guest pushed a change to branch pristine-tar in repository coq-doc. from b3df77e pristine-tar data for coq-doc_8.4pl4.orig.tar.gz new 3c30ad1 pristine-tar data for coq-doc_8.6.orig.tar.gz The 1

[Pkg-ocaml-maint-commits] [coq-doc] 01/01: pristine-tar data for coq-doc_8.6.orig.tar.gz

This is an automated email from the git hooks/post-receive script. hendrik-guest pushed a commit to branch pristine-tar in repository coq-doc. commit 3c30ad1a331f881f5b6d0e1e8a37a9771cfe99a4 Author: Hendrik Tews Date: Mon Jul 3 22:16:46 2017 +0200 pristine-tar data for

[Pkg-ocaml-maint-commits] [coq-doc] annotated tag upstream/8.6 created (now 244f964)

This is an automated email from the git hooks/post-receive script. hendrik-guest pushed a change to annotated tag upstream/8.6 in repository coq-doc. at 244f964 (tag) tagging e0c5d5d4aba56d942851beb77c8d61fd2ede8a98 (commit) replaces upstream/8.4pl4 tagged by Hendrik Tews