[Pkg-ocaml-maint-commits] [coq] 05/05: set version to beta3 in debian/rules

2015-11-14 Thread Enrico Tassi
This is an automated email from the git hooks/post-receive script. gareuselesinge pushed a commit to branch master in repository coq. commit b39748fd08b03dbf5bc1530fd8af3de3e7bd8cb5 Author: Enrico Tassi Date: Sat Nov 14 09:45:53 2015 +0100 set version to beta3

[Pkg-ocaml-maint-commits] [coq] 01/02: pristine-tar data for coq_8.5~beta3+dfsg.orig.tar.gz

2015-11-14 Thread Enrico Tassi
This is an automated email from the git hooks/post-receive script. gareuselesinge pushed a commit to branch pristine-tar in repository coq. commit 75a2e44cc4426bdea05f5469434a0a0bfbb2f401 Author: Enrico Tassi Date: Fri Nov 13 11:31:36 2015 +0100 pristine-tar

[Pkg-ocaml-maint-commits] [coq] 03/05: Imported Upstream version 8.5~beta3+dfsg

2015-11-14 Thread Enrico Tassi
This is an automated email from the git hooks/post-receive script. gareuselesinge pushed a commit to branch master in repository coq. commit 4e76c4f01b69b77f40686e06c4544aa156efaa5a Merge: 64fa31c 91dbeab Author: Enrico Tassi Date: Fri Nov 13 11:43:34 2015 +0100

[Pkg-ocaml-maint-commits] [coq] 04/05: beta3

2015-11-14 Thread Enrico Tassi
This is an automated email from the git hooks/post-receive script. gareuselesinge pushed a commit to branch master in repository coq. commit fe5b47f90e0e701ffb13f107f4baa38070ce88ca Author: Enrico Tassi Date: Fri Nov 13 11:48:48 2015 +0100 beta3 ---

[Pkg-ocaml-maint-commits] [coq] 02/05: Imported Upstream version 8.5~beta3+dfsg

2015-11-14 Thread Enrico Tassi
This is an automated email from the git hooks/post-receive script. gareuselesinge pushed a commit to branch master in repository coq. commit 91dbeab8eef959c3f64960909ca69d4e68c8198d Author: Enrico Tassi Date: Fri Nov 13 11:31:54 2015 +0100 Imported Upstream

[Pkg-ocaml-maint-commits] [coq] branch pristine-tar updated (1aedadb -> f60abed)

2015-11-14 Thread Enrico Tassi
This is an automated email from the git hooks/post-receive script. gareuselesinge pushed a change to branch pristine-tar in repository coq. from 1aedadb pristine-tar data for coq_8.5~beta2+dfsg.orig.tar.gz new 75a2e44 pristine-tar data for coq_8.5~beta3+dfsg.orig.tar.gz

[Pkg-ocaml-maint-commits] [coq] 02/02: pristine-tar data for coq_8.5~beta3+dfsg.orig.tar.gz

2015-11-14 Thread Enrico Tassi
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 Date: Fri Nov 13 11:31:56 2015 +0100 pristine-tar

[Pkg-ocaml-maint-commits] [coq] annotated tag debian/8.5_beta3+dfsg-1 created (now 49a49e1)

2015-11-14 Thread Enrico Tassi
This is an automated email from the git hooks/post-receive script. gareuselesinge pushed a change to annotated tag debian/8.5_beta3+dfsg-1 in repository coq. at 49a49e1 (tag) tagging b39748fd08b03dbf5bc1530fd8af3de3e7bd8cb5 (commit) replaces debian/8.5_beta2+dfsg-2 tagged by

[Pkg-ocaml-maint-commits] [coq] annotated tag upstream/8.5_beta3+dfsg created (now 1923e03)

2015-11-14 Thread Enrico Tassi
This is an automated email from the git hooks/post-receive script. gareuselesinge pushed a change to annotated tag upstream/8.5_beta3+dfsg in repository coq. at 1923e03 (tag) tagging 91dbeab8eef959c3f64960909ca69d4e68c8198d (commit) replaces upstream/8.5_beta2+dfsg tagged by

[Pkg-ocaml-maint-commits] [coq] annotated tag debian/8.5_beta3+dfsg-2 created (now 4f96cee)

2015-11-14 Thread Enrico Tassi
This is an automated email from the git hooks/post-receive script. gareuselesinge pushed a change to annotated tag debian/8.5_beta3+dfsg-2 in repository coq. at 4f96cee (tag) tagging d55ac4014632489e3009a2a7351d018b3b2d27ac (commit) replaces debian/8.5_beta3+dfsg-1 tagged by

[Pkg-ocaml-maint-commits] [coq] 01/01: fix options passed to configure on non intel architectures

2015-11-14 Thread Enrico Tassi
This is an automated email from the git hooks/post-receive script. gareuselesinge pushed a commit to branch master in repository coq. commit d55ac4014632489e3009a2a7351d018b3b2d27ac Author: Enrico Tassi Date: Sat Nov 14 15:00:05 2015 +0100 fix options passed to

[Pkg-ocaml-maint-commits] [coq] branch master updated (b39748f -> d55ac40)

2015-11-14 Thread Enrico Tassi
This is an automated email from the git hooks/post-receive script. gareuselesinge pushed a change to branch master in repository coq. from b39748f set version to beta3 in debian/rules new d55ac40 fix options passed to configure on non intel architectures The 1 revisions