[Pkg-ocaml-maint-commits] [coq] branch master updated (4409e85 -> 56e5876)

This is an automated email from the git hooks/post-receive script. gareuselesinge pushed a change to branch master in repository coq. from 4409e85 fix FTBFS disabling some tests new 56e5876 fix FTBFS on mips The 1 revisions listed above as "new" are entirely new to this reposi

[Pkg-ocaml-maint-commits] [coq] 01/01: fix FTBFS on mips

This is an automated email from the git hooks/post-receive script. gareuselesinge pushed a commit to branch master in repository coq. commit 56e5876c2ad8909f5abccfba1ef8484908b70a30 Author: Enrico Tassi Date: Thu Dec 29 08:59:12 2016 +0100 fix FTBFS on mips --- debian/changelog

[Pkg-ocaml-maint-commits] [coq] annotated tag debian/8.6-3 created (now 9c85a0b)

This is an automated email from the git hooks/post-receive script. gareuselesinge pushed a change to annotated tag debian/8.6-3 in repository coq. at 9c85a0b (tag) tagging 56e5876c2ad8909f5abccfba1ef8484908b70a30 (commit) replaces debian/8.6-2 tagged by Enrico Tassi on

[Pkg-ocaml-maint-commits] [coq] branch master updated (56e5876 -> 32d5263)

This is an automated email from the git hooks/post-receive script. gareuselesinge pushed a change to branch master in repository coq. from 56e5876 fix FTBFS on mips new 32d5263 depend on ocamlfind The 1 revisions listed above as "new" are entirely new to this repository and wi

[Pkg-ocaml-maint-commits] [coq] 01/01: depend on ocamlfind

This is an automated email from the git hooks/post-receive script. gareuselesinge pushed a commit to branch master in repository coq. commit 32d5263520a5fe927afd5451c40154c14a8b051d Author: Enrico Tassi Date: Thu Dec 29 23:46:09 2016 +0100 depend on ocamlfind --- debian/changelog | 6 +++

[Pkg-ocaml-maint-commits] [coq] branch master updated (32d5263 -> c2f1eda)

This is an automated email from the git hooks/post-receive script. gareuselesinge pushed a change to branch master in repository coq. from 32d5263 depend on ocamlfind new c2f1eda fix ocamlfind package name The 1 revisions listed above as "new" are entirely new to this reposito

[Pkg-ocaml-maint-commits] [coq] annotated tag debian/8.6-4 created (now 00767f0)

This is an automated email from the git hooks/post-receive script. gareuselesinge pushed a change to annotated tag debian/8.6-4 in repository coq. at 00767f0 (tag) tagging c2f1eda504659079238313826fc9c60e981af531 (commit) replaces debian/8.6-3 tagged by Enrico Tassi on

[Pkg-ocaml-maint-commits] [coq] 01/01: fix ocamlfind package name

This is an automated email from the git hooks/post-receive script. gareuselesinge pushed a commit to branch master in repository coq. commit c2f1eda504659079238313826fc9c60e981af531 Author: Enrico Tassi Date: Fri Dec 30 00:36:07 2016 +0100 fix ocamlfind package name --- debian/control |