This is an automated email from the git hooks/post-receive script. gareuselesinge pushed a commit to branch pristine-tar in repository coq.
commit f60abed748b22306db4985a9158ea9accf7fbad7 Author: Enrico Tassi <gareuselesi...@debian.org> Date: Fri Nov 13 11:31:56 2015 +0100 pristine-tar data for coq_8.5~beta3+dfsg.orig.tar.gz --- coq_8.5~beta3+dfsg.orig.tar.gz.delta | Bin 78109 -> 78177 bytes 1 file changed, 0 insertions(+), 0 deletions(-) diff --git a/coq_8.5~beta3+dfsg.orig.tar.gz.delta b/coq_8.5~beta3+dfsg.orig.tar.gz.delta index 2bbadb4..b25545e 100644 Binary files a/coq_8.5~beta3+dfsg.orig.tar.gz.delta and b/coq_8.5~beta3+dfsg.orig.tar.gz.delta differ -- Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/coq.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