[Pkg-ocaml-maint-commits] [ssreflect] 01/01: bdepends on Coq 8.6 (the *install.in files depend on it)

2016-12-30 Thread Enrico Tassi
This is an automated email from the git hooks/post-receive script. gareuselesinge pushed a commit to branch master in repository ssreflect. commit 9c66906d6dfaa9af6be6f1440ef14edea987c9c1 Author: Enrico Tassi Date: Wed Dec 28 14:54:47 2016 + bdepends on Coq

[Pkg-ocaml-maint-commits] [ssreflect] branch master updated (0ab0d73 -> 9c66906)

2016-12-30 Thread Enrico Tassi
This is an automated email from the git hooks/post-receive script. gareuselesinge pushed a change to branch master in repository ssreflect. from 0ab0d73 ssr/mathcomp 1.6 new 9c66906 bdepends on Coq 8.6 (the *install.in files depend on it) The 1 revisions listed above as "new"

[Pkg-ocaml-maint-commits] [ssreflect] annotated tag debian/1.6.1-1 created (now a24c729)

2016-12-30 Thread Enrico Tassi
This is an automated email from the git hooks/post-receive script. gareuselesinge pushed a change to annotated tag debian/1.6.1-1 in repository ssreflect. at a24c729 (tag) tagging 9c66906d6dfaa9af6be6f1440ef14edea987c9c1 (commit) replaces debian/1.6-1 tagged by Enrico Tassi

[Pkg-ocaml-maint-commits] [ssreflect] annotated tag upstream/1.6.1 created (now f8188c2)

2016-12-30 Thread Enrico Tassi
This is an automated email from the git hooks/post-receive script. gareuselesinge pushed a change to annotated tag upstream/1.6.1 in repository ssreflect. at f8188c2 (tag) tagging bdffa485b79efcde80ef42d8a29126022ecaf88d (commit) replaces upstream/1.6 tagged by Enrico Tassi

[Pkg-ocaml-maint-commits] [ssreflect] annotated tag rm created (now 09f2426)

2016-12-30 Thread Enrico Tassi
This is an automated email from the git hooks/post-receive script. gareuselesinge pushed a change to annotated tag rm in repository ssreflect. at 09f2426 (tag) tagging 1bd6c7612a33213ca473dd0cfabe7407a77a3415 (commit) replaces upstream/1.5 tagged by Enrico Tassi on

[Pkg-ocaml-maint-commits] [ssreflect] annotated tag debian/1.6.1-2 created (now 8326256)

2016-12-30 Thread Enrico Tassi
This is an automated email from the git hooks/post-receive script. gareuselesinge pushed a change to annotated tag debian/1.6.1-2 in repository ssreflect. at 8326256 (tag) tagging 430b3d822d2d73734d67b87ab590b517da9870b9 (commit) replaces debian/1.6.1-1 tagged by Enrico Tassi

[Pkg-ocaml-maint-commits] [ssreflect] branch master updated (9c66906 -> 430b3d8)

2016-12-30 Thread Enrico Tassi
This is an automated email from the git hooks/post-receive script. gareuselesinge pushed a change to branch master in repository ssreflect. from 9c66906 bdepends on Coq 8.6 (the *install.in files depend on it) new 430b3d8 fix build-arch target The 1 revisions listed above as

[Pkg-ocaml-maint-commits] [ssreflect] 01/01: fix build-arch target

2016-12-30 Thread Enrico Tassi
This is an automated email from the git hooks/post-receive script. gareuselesinge pushed a commit to branch master in repository ssreflect. commit 430b3d822d2d73734d67b87ab590b517da9870b9 Author: Enrico Tassi Date: Fri Dec 30 11:49:37 2016 +0100 fix build-arch