[Pkg-ocaml-maint-commits] [cduce] branch master updated (6c3dd57 - d1f3b13)

This is an automated email from the git hooks/post-receive script. glondu pushed a change to branch master in repository cduce. from 6c3dd57 Update Vcs-* new 037cc36 Disable tests new d1f3b13 Update changelog and prepare upload to unstable The 2 revisions listed

[Pkg-ocaml-maint-commits] [cduce] 02/02: Update changelog and prepare upload to unstable

This is an automated email from the git hooks/post-receive script. glondu pushed a commit to branch master in repository cduce. commit d1f3b1396e20ffc3c2b91ab3d24e92d31d92d71d Author: Stephane Glondu st...@glondu.net Date: Sat Mar 15 09:49:43 2014 +0100 Update changelog and prepare upload

[Pkg-ocaml-maint-commits] [cduce] annotated tag debian/0.6.0-1 created (now 55459d2)

This is an automated email from the git hooks/post-receive script. glondu pushed a change to annotated tag debian/0.6.0-1 in repository cduce. at 55459d2 (tag) tagging d1f3b1396e20ffc3c2b91ab3d24e92d31d92d71d (commit) replaces debian/0.5.5-1 tagged by Stephane Glondu

[Pkg-ocaml-maint-commits] [cduce] 01/02: Disable tests

This is an automated email from the git hooks/post-receive script. glondu pushed a commit to branch master in repository cduce. commit 037cc36e4189504d4e296ab10b8375a3a0ef82cf Author: Stephane Glondu st...@glondu.net Date: Sat Mar 15 09:48:58 2014 +0100 Disable tests --- debian/rules | 4