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

2015-10-13 Thread Stéphane Glondu
This is an automated email from the git hooks/post-receive script. glondu pushed a commit to branch master in repository labltk. commit 80ea4ae60a2ee593e7756a84b7a0f51855953593 Author: Stephane Glondu Date: Tue Oct 13 11:43:10 2015 +0200 Update changelog and prepare

[Pkg-ocaml-maint-commits] [labltk] 01/02: liblabltk-ocaml Breaks/Replaces ocaml-base (Closes: #801560)

2015-10-13 Thread Stéphane Glondu
This is an automated email from the git hooks/post-receive script. glondu pushed a commit to branch master in repository labltk. commit 9f164ccb5aaa5304cec33459960cfd049f3c9f12 Author: Stephane Glondu Date: Tue Oct 13 11:42:52 2015 +0200 liblabltk-ocaml Breaks/Replaces

[Pkg-ocaml-maint-commits] [labltk] annotated tag debian/8.06.0+dfsg-3 created (now fe02d95)

2015-10-13 Thread Stéphane Glondu
This is an automated email from the git hooks/post-receive script. glondu pushed a change to annotated tag debian/8.06.0+dfsg-3 in repository labltk. at fe02d95 (tag) tagging 80ea4ae60a2ee593e7756a84b7a0f51855953593 (commit) replaces debian/8.06.0+dfsg-2 tagged by Stephane

[Pkg-ocaml-maint-commits] [labltk] branch master updated (00a772e -> 80ea4ae)

2015-10-13 Thread Stéphane Glondu
This is an automated email from the git hooks/post-receive script. glondu pushed a change to branch master in repository labltk. from 00a772e Upload to unstable new 9f164cc liblabltk-ocaml Breaks/Replaces ocaml-base (Closes: #801560) new 80ea4ae Update changelog and

[Pkg-ocaml-maint-commits] [coq] branch sid/upstream created (now 420f78b)

2015-10-13 Thread Stéphane Glondu
This is an automated email from the git hooks/post-receive script. glondu pushed a change to branch sid/upstream in repository coq. at 420f78b Imported Upstream version 8.4pl4dfsg No new revisions were added by this update. -- Alioth's /usr/local/bin/git-commit-notice on

[Pkg-ocaml-maint-commits] [coq] 03/03: Prepare upload to unstable

2015-10-13 Thread Stéphane Glondu
This is an automated email from the git hooks/post-receive script. glondu pushed a commit to annotated tag debian/8.4pl4dfsg-2 in repository coq. commit ac7d8c9837b3e4b35b011fbe0f995a4a1593041c Author: Stephane Glondu Date: Tue Oct 13 17:26:11 2015 +0200 Prepare upload

[Pkg-ocaml-maint-commits] [coq] 02/03: Fix compilation with OCaml 4.02

2015-10-13 Thread Stéphane Glondu
This is an automated email from the git hooks/post-receive script. glondu pushed a commit to annotated tag debian/8.4pl4dfsg-2 in repository coq. commit fca0afda49e9411f25fc3d0b660b40a3dfd7d4bf Author: Stephane Glondu Date: Wed Jun 17 15:36:29 2015 +0200 Fix compilation

[Pkg-ocaml-maint-commits] [coq] annotated tag debian/8.4pl4dfsg-2 created (now c481dc2)

2015-10-13 Thread Stéphane Glondu
This is an automated email from the git hooks/post-receive script. glondu pushed a change to annotated tag debian/8.4pl4dfsg-2 in repository coq. at c481dc2 (tag) tagging ac7d8c9837b3e4b35b011fbe0f995a4a1593041c (commit) replaces debian/8.4pl4dfsg-1 tagged by Stephane Glondu

[Pkg-ocaml-maint-commits] [coq] 01/03: New sid/* branches

2015-10-13 Thread Stéphane Glondu
This is an automated email from the git hooks/post-receive script. glondu pushed a commit to annotated tag debian/8.4pl4dfsg-2 in repository coq. commit ab9ecfcac7b7c78e4ba84ddbfb36c86020f6b7e3 Author: Stephane Glondu Date: Tue Oct 13 17:24:52 2015 +0200 New sid/*

[Pkg-ocaml-maint-commits] [coq] branch sid/master created (now ac7d8c9)

2015-10-13 Thread Stéphane Glondu
This is an automated email from the git hooks/post-receive script. glondu pushed a change to branch sid/master in repository coq. at ac7d8c9 Prepare upload to unstable No new revisions were added by this update. -- Alioth's /usr/local/bin/git-commit-notice on