[Pkg-ocaml-maint-commits] [coq] 02/05: Merge tag 'upstream/8.4pl3dfsg'

2014-01-19 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 coq. commit 58545b00a1c1825d9e51b16c2986976dd45dd3b2 Merge: bdb99a4 d2c5c5e Author: Stephane Glondu st...@glondu.net Date: Sun Jan 19 15:09:26 2014 +0100 Merge tag

[Pkg-ocaml-maint-commits] [coq] 05/05: Update README.Debian (Closes: #680248)

2014-01-19 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 coq. commit e3ef7f22f8ca1549633371e1f6fa14ae2e27546d Author: Stephane Glondu st...@glondu.net Date: Sun Jan 19 15:12:15 2014 +0100 Update README.Debian (Closes:

[Pkg-ocaml-maint-commits] [coq] branch upstream updated (db38bb4 - d2c5c5e)

2014-01-19 Thread Stéphane Glondu
This is an automated email from the git hooks/post-receive script. glondu pushed a change to branch upstream in repository coq. from db38bb4 Merge branch 'experimental/upstream' into upstream new d2c5c5e Imported Upstream version 8.4pl3dfsg The 1 revisions listed above as new

[Pkg-ocaml-maint-commits] [coq] 03/05: New upstream release

2014-01-19 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 coq. commit 4d459d59dd0fe161843e8fe05503cbca9e74055c Author: Stephane Glondu st...@glondu.net Date: Sun Jan 19 15:09:38 2014 +0100 New upstream release ---

[Pkg-ocaml-maint-commits] [coq] annotated tag upstream/8.4pl3dfsg created (now 6980791)

2014-01-19 Thread Stéphane Glondu
This is an automated email from the git hooks/post-receive script. glondu pushed a change to annotated tag upstream/8.4pl3dfsg in repository coq. at 6980791 (tag) tagging d2c5c5e616a6e118291fe1ce9965c731adac03a8 (commit) replaces upstream/8.4pl2dfsg tagged by Stephane Glondu

[Pkg-ocaml-maint-commits] [coq] 04/05: Update ABI

2014-01-19 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 coq. commit fc0c747d28dcbf8e1b2681a173f9207cb300d26a Author: Stephane Glondu st...@glondu.net Date: Sun Jan 19 15:20:17 2014 +0100 Update ABI --- debian/rules | 2 +-

[Pkg-ocaml-maint-commits] [coq] branch master updated (bdb99a4 - e3ef7f2)

2014-01-19 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 coq. from bdb99a4 Prepare upload to unstable new d2c5c5e Imported Upstream version 8.4pl3dfsg new 58545b0 Merge tag 'upstream/8.4pl3dfsg'

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

2014-01-19 Thread Stéphane Glondu
This is an automated email from the git hooks/post-receive script. glondu pushed a commit to branch pristine-tar in repository coq. commit bf00afb369c7e411c853a58a4ce315591f0f Author: Stephane Glondu st...@glondu.net Date: Sun Jan 19 15:09:25 2014 +0100 pristine-tar data for

[Pkg-ocaml-maint-commits] [coq] branch pristine-tar updated (14c75b1 - bf00ccc)

2014-01-19 Thread Stéphane Glondu
This is an automated email from the git hooks/post-receive script. glondu pushed a change to branch pristine-tar in repository coq. from 14c75b1 pristine-tar data for coq_8.4pl2dfsg.orig.tar.gz new bf00ccc pristine-tar data for coq_8.4pl3dfsg.orig.tar.gz The 1 revisions

[Pkg-ocaml-maint-commits] [why] 01/01: accept alt-ergo 0.95.2, coq 8.4pl2

2014-01-19 Thread Ralf Treinen
This is an automated email from the git hooks/post-receive script. treinen pushed a commit to branch master in repository why. commit 740a5afa99fe2656bd859d6457ac4dc5f825927f Author: Ralf Treinen trei...@debian.org Date: Sun Jan 19 16:14:24 2014 +0100 accept alt-ergo 0.95.2, coq 8.4pl2

[Pkg-ocaml-maint-commits] [why] branch master updated (a5cb0d0 - 740a5af)

2014-01-19 Thread Ralf Treinen
This is an automated email from the git hooks/post-receive script. treinen pushed a change to branch master in repository why. from a5cb0d0 standards-version 3.9.5 new 740a5af accept alt-ergo 0.95.2, coq 8.4pl2 The 1 revisions listed above as new are entirely new to this

[Pkg-ocaml-maint-commits] [coq] branch master updated (e3ef7f2 - 100dfc2)

2014-01-19 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 coq. from e3ef7f2 Update README.Debian (Closes: #680248) new 100dfc2 Update changelog and prepare upload to unstable The 1 revisions listed above as new

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

2014-01-19 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 coq. commit 100dfc287ad57a3245eea312f7aa95c49f8e2a34 Author: Stephane Glondu st...@glondu.net Date: Sun Jan 19 15:12:59 2014 +0100 Update changelog and prepare upload

[Pkg-ocaml-maint-commits] [coq] annotated tag debian/8.4pl3dfsg-1 created (now 2b3c523)

2014-01-19 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.4pl3dfsg-1 in repository coq. at 2b3c523 (tag) tagging 100dfc287ad57a3245eea312f7aa95c49f8e2a34 (commit) replaces debian/8.4pl2dfsg-4 tagged by Stephane Glondu

[Pkg-ocaml-maint-commits] [why] 03/03: package tests with alt-ergo, cvc3

2014-01-19 Thread Ralf Treinen
This is an automated email from the git hooks/post-receive script. treinen pushed a commit to branch master in repository why. commit b50d5aa0a0f77abce9798be7d801634719de392b Author: Ralf Treinen trei...@free.fr Date: Sun Jan 19 20:08:10 2014 +0100 package tests with alt-ergo, cvc3 ---

[Pkg-ocaml-maint-commits] [why] 01/03: accept coq 8.4pl3

2014-01-19 Thread Ralf Treinen
This is an automated email from the git hooks/post-receive script. treinen pushed a commit to branch master in repository why. commit 38c7821b307fe832b02f699dbbd99acaa9e7173d Author: Ralf Treinen trei...@free.fr Date: Sun Jan 19 18:10:58 2014 +0100 accept coq 8.4pl3 ---

[Pkg-ocaml-maint-commits] [why] 02/03: close bug #707585 (FTBFS)

2014-01-19 Thread Ralf Treinen
This is an automated email from the git hooks/post-receive script. treinen pushed a commit to branch master in repository why. commit 8698f7bc248e270f99d6755ae51e93117f7bdd41 Author: Ralf Treinen trei...@free.fr Date: Sun Jan 19 18:23:41 2014 +0100 close bug #707585 (FTBFS) ---

[Pkg-ocaml-maint-commits] [why] branch master updated (740a5af - b50d5aa)

2014-01-19 Thread Ralf Treinen
This is an automated email from the git hooks/post-receive script. treinen pushed a change to branch master in repository why. from 740a5af accept alt-ergo 0.95.2, coq 8.4pl2 new 38c7821 accept coq 8.4pl3 new 8698f7b close bug #707585 (FTBFS) new b50d5aa

[Pkg-ocaml-maint-commits] [aac-tactics] 02/03: Update Vcs-*

2014-01-19 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 aac-tactics. commit 50c6d2f21c232f7bee7f4f6475fc50a888c08bfb Author: Stephane Glondu st...@glondu.net Date: Mon Jan 20 08:22:45 2014 +0100 Update Vcs-* ---

[Pkg-ocaml-maint-commits] [aac-tactics] annotated tag debian/0.4-2 created (now 541008d)

2014-01-19 Thread Stéphane Glondu
This is an automated email from the git hooks/post-receive script. glondu pushed a change to annotated tag debian/0.4-2 in repository aac-tactics. at 541008d (tag) tagging 09c08cc6fe8bd98780f64d4931305dc670d454fd (commit) replaces debian/0.4-1 tagged by Stephane Glondu

[Pkg-ocaml-maint-commits] [aac-tactics] branch master updated (b150377 - 09c08cc)

2014-01-19 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 aac-tactics. from b150377 Prepare upload to unstable new 912dbce Bump Standards-Version to 3.9.5 (no changes) new 50c6d2f Update Vcs-* new

[Pkg-ocaml-maint-commits] [aac-tactics] 01/03: Bump Standards-Version to 3.9.5 (no changes)

2014-01-19 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 aac-tactics. commit 912dbce4c453004cbc22bc1c319077fd39a0756a Author: Stephane Glondu st...@glondu.net Date: Mon Jan 20 07:38:26 2014 +0100 Bump Standards-Version to

[Pkg-ocaml-maint-commits] [aac-tactics] 03/03: Update changelog and prepare upload to unstable

2014-01-19 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 aac-tactics. commit 09c08cc6fe8bd98780f64d4931305dc670d454fd Author: Stephane Glondu st...@glondu.net Date: Mon Jan 20 07:38:40 2014 +0100 Update changelog and prepare