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
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
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
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
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
5 matches
Mail list logo