[Pkg-ocaml-maint-commits] [ssreflect] 01/01: pristine-tar data for ssreflect_1.6.1.orig.tar.gz

This is an automated email from the git hooks/post-receive script. gareuselesinge pushed a commit to branch pristine-tar in repository ssreflect. commit 9d7d7af852352d2203f9df6c1c9b4992de566c22 Author: Enrico Tassi Date: Tue Dec 27 16:10:50 2016 +

[Pkg-ocaml-maint-commits] [ssreflect] branch pristine-tar updated (bb09259 -> 9d7d7af)

This is an automated email from the git hooks/post-receive script. gareuselesinge pushed a change to branch pristine-tar in repository ssreflect. from bb09259 pristine-tar data for ssreflect_1.6.orig.tar.gz new 9d7d7af pristine-tar data for ssreflect_1.6.1.orig.tar.gz The 1

[Pkg-ocaml-maint-commits] [ssreflect] 02/03: Merge tag 'upstream/1.6.1'

This is an automated email from the git hooks/post-receive script. gareuselesinge pushed a commit to branch master in repository ssreflect. commit 582fd9f4b4a3a766b7038ba39e4134ce7843b69a Merge: 18f7769 bdffa48 Author: Enrico Tassi Date: Tue Dec 27 16:10:50 2016

[Pkg-ocaml-maint-commits] [ssreflect] 03/03: ssr/mathcomp 1.6

This is an automated email from the git hooks/post-receive script. gareuselesinge pushed a commit to branch master in repository ssreflect. commit 0ab0d73a07d4889c30245d5e8b786e9445dc964c Author: Enrico Tassi Date: Tue Dec 27 16:11:11 2016 + ssr/mathcomp

[Pkg-ocaml-maint-commits] [ssreflect] branch upstream updated (0dfc136 -> bdffa48)

This is an automated email from the git hooks/post-receive script. gareuselesinge pushed a change to branch upstream in repository ssreflect. from 0dfc136 Imported Upstream version 1.6 new bdffa48 New upstream version 1.6.1 The 1 revisions listed above as "new" are entirely

[Pkg-ocaml-maint-commits] [aac-tactics] 02/06: New upstream version 8.6

This is an automated email from the git hooks/post-receive script. gareuselesinge pushed a commit to branch master in repository aac-tactics. commit 1117d2e4a00debfbfa0157cc3e780916df72c26b Author: Enrico Tassi Date: Tue Dec 27 16:06:42 2016 + New upstream

[Pkg-ocaml-maint-commits] [aac-tactics] 05/06: Merge tag 'upstream/8.6.1'

This is an automated email from the git hooks/post-receive script. gareuselesinge pushed a commit to branch master in repository aac-tactics. commit f6c35088fc20b534aac0b92df7cb9750d2b68b46 Merge: a8c0742 76f9b4c Author: Enrico Tassi Date: Wed Dec 28 13:45:46 2016

[Pkg-ocaml-maint-commits] [aac-tactics] branch upstream updated (17564e4 -> 76f9b4c)

This is an automated email from the git hooks/post-receive script. gareuselesinge pushed a change to branch upstream in repository aac-tactics. from 17564e4 Imported Upstream version 8.5.1 new 1117d2e New upstream version 8.6 new 76f9b4c New upstream version 8.6.1

[Pkg-ocaml-maint-commits] [aac-tactics] branch pristine-tar updated (b04b84c -> 2062a6b)

This is an automated email from the git hooks/post-receive script. gareuselesinge pushed a change to branch pristine-tar in repository aac-tactics. from b04b84c pristine-tar data for aac-tactics_8.5.1.orig.tar.gz new 7cb8057 pristine-tar data for aac-tactics_8.6.orig.tar.gz

[Pkg-ocaml-maint-commits] [aac-tactics] 02/02: pristine-tar data for aac-tactics_8.6.1.orig.tar.gz

This is an automated email from the git hooks/post-receive script. gareuselesinge pushed a commit to branch pristine-tar in repository aac-tactics. commit 2062a6bb526785953c46d48a690d1eefe4e2deca Author: Enrico Tassi Date: Wed Dec 28 13:43:01 2016 +

[Pkg-ocaml-maint-commits] [aac-tactics] 06/06: 8.6.1

This is an automated email from the git hooks/post-receive script. gareuselesinge pushed a commit to branch master in repository aac-tactics. commit 15d7275f16efbd0f6ef9c07a6102f2893dc726c0 Author: Enrico Tassi Date: Wed Dec 28 13:46:13 2016 + 8.6.1 ---

[Pkg-ocaml-maint-commits] [aac-tactics] 01/06: Merge tag 'upstream/8.6'

This is an automated email from the git hooks/post-receive script. gareuselesinge pushed a commit to branch master in repository aac-tactics. commit fb74782e08217e4f1069ed99de6f6f30005bfe13 Merge: 017a43a 1117d2e Author: Enrico Tassi Date: Tue Dec 27 16:06:42 2016

[Pkg-ocaml-maint-commits] [aac-tactics] 04/06: New upstream version 8.6.1

This is an automated email from the git hooks/post-receive script. gareuselesinge pushed a commit to branch master in repository aac-tactics. commit 76f9b4cdc5693a6313961e2f91b39ba311857e72 Author: Enrico Tassi Date: Wed Dec 28 13:43:01 2016 + New upstream

[Pkg-ocaml-maint-commits] [coq] 02/02: Coq 8.6

This is an automated email from the git hooks/post-receive script. gareuselesinge pushed a commit to branch master in repository coq. commit bfe45dbaed933cca5081a9e2524e0ef099a83efb Author: Enrico Tassi Date: Wed Dec 28 09:28:26 2016 +0100 Coq 8.6 ---

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

This is an automated email from the git hooks/post-receive script. gareuselesinge pushed a commit to branch pristine-tar in repository coq. commit 4f8c678ec9a09be1f71aa7ea3df9b3d9547ff934 Author: Enrico Tassi Date: Tue Dec 27 16:53:32 2016 +0100 pristine-tar

[Pkg-ocaml-maint-commits] [coq] branch pristine-tar updated (1dd2832 -> 4f8c678)

This is an automated email from the git hooks/post-receive script. gareuselesinge pushed a change to branch pristine-tar in repository coq. from 1dd2832 pristine-tar data for coq_8.5.orig.tar.gz new 4f8c678 pristine-tar data for coq_8.6.orig.tar.gz The 1 revisions listed

[Pkg-ocaml-maint-commits] [coq] annotated tag debian/8.6-2 created (now 2d00820)

This is an automated email from the git hooks/post-receive script. gareuselesinge pushed a change to annotated tag debian/8.6-2 in repository coq. at 2d00820 (tag) tagging 4409e85b91fa86750f83042c329ec8cf6320d7c7 (commit) replaces debian/8.6-1 tagged by Enrico Tassi