[Pkg-ocaml-maint-commits] [coq] annotated tag debian/8.5-2 created (now c99b37c)

This is an automated email from the git hooks/post-receive script. gareuselesinge pushed a change to annotated tag debian/8.5-2 in repository coq. at c99b37c (tag) tagging 7c9b0a702976078b813e6493c1284af62a3f093c (commit) replaces debian/8.5_beta3+dfsg-2 tagged by Enrico Tassi

[Pkg-ocaml-maint-commits] [coq] 01/01: fix FTBFS on slow architectures by disabling 4429

This is an automated email from the git hooks/post-receive script. gareuselesinge pushed a commit to branch master in repository coq. commit 7c9b0a702976078b813e6493c1284af62a3f093c Author: Enrico Tassi Date: Thu Jan 28 11:47:57 2016 +0100 fix FTBFS on slow architectures by disabling 4429

[Pkg-ocaml-maint-commits] [coq] branch master updated (ad20f9a -> 7c9b0a7)

This is an automated email from the git hooks/post-receive script. gareuselesinge pushed a change to branch master in repository coq. from ad20f9a 8.5 new 7c9b0a7 fix FTBFS on slow architectures by disabling 4429 The 1 revisions listed above as "new" are entirely new to this r

[Pkg-ocaml-maint-commits] [atdgen] 08/08: pristine-tar data for atdgen_1.7.2.orig.tar.gz

This is an automated email from the git hooks/post-receive script. glondu pushed a commit to branch pristine-tar in repository atdgen. commit 55bba5038311f1b791abb5615f33b612c9044f4a Author: Stephane Glondu Date: Thu Jan 28 09:52:14 2016 +0100 pristine-tar data for atdgen_1.7.2.orig.tar.g

[Pkg-ocaml-maint-commits] [atdgen] 15/16: Bump Standards-Version to 3.9.6

This is an automated email from the git hooks/post-receive script. glondu pushed a commit to branch master in repository atdgen. commit d63e7f2ec4a8820df14a2e935378e6f1b83819ae Author: Stephane Glondu Date: Thu Jan 28 11:10:32 2016 +0100 Bump Standards-Version to 3.9.6 --- debian/control

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

This is an automated email from the git hooks/post-receive script. glondu pushed a change to annotated tag upstream/1.6.1 in repository atdgen. at cd0fbcb (tag) tagging 7137770108884a8b4488e4d6a0c35a901dccce23 (commit) replaces upstream/1.6.0 tagged by Stephane Glondu

[Pkg-ocaml-maint-commits] [atdgen] annotated tag debian/1.7.2-1 created (now 9f12199)

This is an automated email from the git hooks/post-receive script. glondu pushed a change to annotated tag debian/1.7.2-1 in repository atdgen. at 9f12199 (tag) tagging 1e25f62d235f42358cffe33eaa429d94c8474da2 (commit) replaces upstream/1.7.2 tagged by Stephane Glondu

[Pkg-ocaml-maint-commits] [atdgen] annotated tag upstream/1.7.0 created (now aba73f2)

This is an automated email from the git hooks/post-receive script. glondu pushed a change to annotated tag upstream/1.7.0 in repository atdgen. at aba73f2 (tag) tagging f856aea1e2d42559b57e8baa724c1fa65d58dc98 (commit) replaces upstream/1.6.1 tagged by Stephane Glondu

[Pkg-ocaml-maint-commits] [atdgen] 16/16: 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 atdgen. commit 1e25f62d235f42358cffe33eaa429d94c8474da2 Author: Stephane Glondu Date: Thu Jan 28 11:11:33 2016 +0100 Update changelog and prepare upload to unstable ---

[Pkg-ocaml-maint-commits] [atdgen] 08/16: Imported Upstream version 1.7.1

This is an automated email from the git hooks/post-receive script. glondu pushed a commit to branch master in repository atdgen. commit 7f4ba0f2f578c1b5161d360ae2b7a8b646c86e35 Author: Stephane Glondu Date: Thu Jan 28 09:51:52 2016 +0100 Imported Upstream version 1.7.1 --- Makefile |

[Pkg-ocaml-maint-commits] [atdgen] annotated tag upstream/1.7.2 created (now 89edeb1)

This is an automated email from the git hooks/post-receive script. glondu pushed a change to annotated tag upstream/1.7.2 in repository atdgen. at 89edeb1 (tag) tagging 7c22d50abda65b03b323cfa2bd3e04005296c813 (commit) replaces upstream/1.7.1 tagged by Stephane Glondu

[Pkg-ocaml-maint-commits] [atdgen] annotated tag upstream/1.4.0 created (now 555fdeb)

This is an automated email from the git hooks/post-receive script. glondu pushed a change to annotated tag upstream/1.4.0 in repository atdgen. at 555fdeb (tag) tagging 87bfc7cd75c25faf13c81479232fc47164be3b7e (commit) replaces upstream/1.3.1 tagged by Stephane Glondu

[Pkg-ocaml-maint-commits] [atdgen] branch master updated (c12225b -> 1e25f62)

This is an automated email from the git hooks/post-receive script. glondu pushed a change to branch master in repository atdgen. from c12225b Update changelog and prepare upload to unstable new 3fc03c4 Update debian/watch new 87bfc7c Imported Upstream version 1.4.0

[Pkg-ocaml-maint-commits] [atdgen] 06/08: pristine-tar data for atdgen_1.7.0.orig.tar.gz

This is an automated email from the git hooks/post-receive script. glondu pushed a commit to branch pristine-tar in repository atdgen. commit 611c988ed680296b4da34c9b3ae59ffa3d4d59f2 Author: Stephane Glondu Date: Thu Jan 28 09:51:51 2016 +0100 pristine-tar data for atdgen_1.7.0.orig.tar.g

[Pkg-ocaml-maint-commits] [atdgen] annotated tag upstream/1.7.1 created (now bdc5045)

This is an automated email from the git hooks/post-receive script. glondu pushed a change to annotated tag upstream/1.7.1 in repository atdgen. at bdc5045 (tag) tagging 7f4ba0f2f578c1b5161d360ae2b7a8b646c86e35 (commit) replaces upstream/1.7.0 tagged by Stephane Glondu

[Pkg-ocaml-maint-commits] [atdgen] annotated tag upstream/1.6.0 created (now c227622)

This is an automated email from the git hooks/post-receive script. glondu pushed a change to annotated tag upstream/1.6.0 in repository atdgen. at c227622 (tag) tagging 21dfdf31e3e48b15a995d18b8a04f7b5ad025b69 (commit) replaces upstream/1.5.0 tagged by Stephane Glondu

[Pkg-ocaml-maint-commits] [atdgen] 04/08: pristine-tar data for atdgen_1.6.0.orig.tar.gz

This is an automated email from the git hooks/post-receive script. glondu pushed a commit to branch pristine-tar in repository atdgen. commit 9a53ed5f521cfc15ef96c3fa0ae2343f168e0cd0 Author: Stephane Glondu Date: Thu Jan 28 09:51:49 2016 +0100 pristine-tar data for atdgen_1.6.0.orig.tar.g

[Pkg-ocaml-maint-commits] [atdgen] 05/08: pristine-tar data for atdgen_1.6.1.orig.tar.gz

This is an automated email from the git hooks/post-receive script. glondu pushed a commit to branch pristine-tar in repository atdgen. commit 9d5c81f47a2c19c1d802d2fb5e2e9165b8359d83 Author: Stephane Glondu Date: Thu Jan 28 09:51:50 2016 +0100 pristine-tar data for atdgen_1.6.1.orig.tar.g

[Pkg-ocaml-maint-commits] [atdgen] annotated tag upstream/1.5.0 created (now 4a1f74c)

This is an automated email from the git hooks/post-receive script. glondu pushed a change to annotated tag upstream/1.5.0 in repository atdgen. at 4a1f74c (tag) tagging 6d35e38395182d5219eac286f42998ce29685669 (commit) replaces upstream/1.4.1 tagged by Stephane Glondu

[Pkg-ocaml-maint-commits] [atdgen] 03/08: pristine-tar data for atdgen_1.5.0.orig.tar.gz

This is an automated email from the git hooks/post-receive script. glondu pushed a commit to branch pristine-tar in repository atdgen. commit 651e12e47fb4c045e31da4faedc2b1c5088ee948 Author: Stephane Glondu Date: Thu Jan 28 09:51:48 2016 +0100 pristine-tar data for atdgen_1.5.0.orig.tar.g

[Pkg-ocaml-maint-commits] [atdgen] 13/16: Update Vcs-*

This is an automated email from the git hooks/post-receive script. glondu pushed a commit to branch master in repository atdgen. commit 95db44c7bb62ece022e6d9e0eb46671d45696774 Author: Stephane Glondu Date: Thu Jan 28 11:08:19 2016 +0100 Update Vcs-* --- debian/control | 4 ++-- 1 file c

[Pkg-ocaml-maint-commits] [atdgen] 01/08: pristine-tar data for atdgen_1.4.0.orig.tar.gz

This is an automated email from the git hooks/post-receive script. glondu pushed a commit to branch pristine-tar in repository atdgen. commit ea2dde300e731df5049b83b3cae37041fd258b7b Author: Stephane Glondu Date: Thu Jan 28 09:51:45 2016 +0100 pristine-tar data for atdgen_1.4.0.orig.tar.g

[Pkg-ocaml-maint-commits] [atdgen] branch upstream updated (0e1efd1 -> 7c22d50)

This is an automated email from the git hooks/post-receive script. glondu pushed a change to branch upstream in repository atdgen. from 0e1efd1 Imported Upstream version 1.3.1 new 87bfc7c Imported Upstream version 1.4.0 new 5ff4559 Imported Upstream version 1.4.1

[Pkg-ocaml-maint-commits] [atdgen] 07/08: pristine-tar data for atdgen_1.7.1.orig.tar.gz

This is an automated email from the git hooks/post-receive script. glondu pushed a commit to branch pristine-tar in repository atdgen. commit 8de12f9a92af6d3ed5048cfff3aad589aa7ddaa3 Author: Stephane Glondu Date: Thu Jan 28 09:51:52 2016 +0100 pristine-tar data for atdgen_1.7.1.orig.tar.g

[Pkg-ocaml-maint-commits] [atdgen] branch pristine-tar updated (2cf27a8 -> 55bba50)

This is an automated email from the git hooks/post-receive script. glondu pushed a change to branch pristine-tar in repository atdgen. from 2cf27a8 pristine-tar data for atdgen_1.3.1.orig.tar.gz new ea2dde3 pristine-tar data for atdgen_1.4.0.orig.tar.gz new 507cbd0 pr

[Pkg-ocaml-maint-commits] [atdgen] 02/08: pristine-tar data for atdgen_1.4.1.orig.tar.gz

This is an automated email from the git hooks/post-receive script. glondu pushed a commit to branch pristine-tar in repository atdgen. commit 507cbd09d4e2aea1fbf39a7214e7d8c652643505 Author: Stephane Glondu Date: Thu Jan 28 09:51:47 2016 +0100 pristine-tar data for atdgen_1.4.1.orig.tar.g

[Pkg-ocaml-maint-commits] [atdgen] annotated tag upstream/1.4.1 created (now 9102ecc)

This is an automated email from the git hooks/post-receive script. glondu pushed a change to annotated tag upstream/1.4.1 in repository atdgen. at 9102ecc (tag) tagging 5ff4559ca16048b19caf3d446844025c72cb3e97 (commit) replaces upstream/1.4.0 tagged by Stephane Glondu

[Pkg-ocaml-maint-commits] [atdgen] 11/16: New upstream release

This is an automated email from the git hooks/post-receive script. glondu pushed a commit to branch master in repository atdgen. commit fd04bbdb4dff09ba8b21e4434dc3dc25e3b0a0e7 Author: Stephane Glondu Date: Thu Jan 28 09:52:26 2016 +0100 New upstream release --- debian/changelog | 6

[Pkg-ocaml-maint-commits] [atdgen] 07/16: Imported Upstream version 1.7.0

This is an automated email from the git hooks/post-receive script. glondu pushed a commit to branch master in repository atdgen. commit f856aea1e2d42559b57e8baa724c1fa65d58dc98 Author: Stephane Glondu Date: Thu Jan 28 09:51:51 2016 +0100 Imported Upstream version 1.7.0 --- .merlin

[Pkg-ocaml-maint-commits] [atdgen] 06/16: Imported Upstream version 1.6.1

This is an automated email from the git hooks/post-receive script. glondu pushed a commit to branch master in repository atdgen. commit 7137770108884a8b4488e4d6a0c35a901dccce23 Author: Stephane Glondu Date: Thu Jan 28 09:51:50 2016 +0100 Imported Upstream version 1.6.1 --- src/Makefile

[Pkg-ocaml-maint-commits] [atdgen] 14/16: Update packaging

This is an automated email from the git hooks/post-receive script. glondu pushed a commit to branch master in repository atdgen. commit 1cba630cf93dcac20d7669800d3a9f31e5893463 Author: Stephane Glondu Date: Thu Jan 28 10:34:26 2016 +0100 Update packaging --- debian/control

[Pkg-ocaml-maint-commits] [atdgen] 12/16: Remove obsolete patch

This is an automated email from the git hooks/post-receive script. glondu pushed a commit to branch master in repository atdgen. commit bf89afd2ca96becd45d1b22c0b1ba879b63c1da2 Author: Stephane Glondu Date: Thu Jan 28 10:01:45 2016 +0100 Remove obsolete patch --- .../0001-Install-ml-file

[Pkg-ocaml-maint-commits] [atdgen] 10/16: Merge tag 'upstream/1.7.2'

This is an automated email from the git hooks/post-receive script. glondu pushed a commit to branch master in repository atdgen. commit 70629296e24404f12415ce9f8b88cf317df33312 Merge: 3fc03c4 7c22d50 Author: Stephane Glondu Date: Thu Jan 28 09:52:14 2016 +0100 Merge tag 'upstream/1.7.2'

[Pkg-ocaml-maint-commits] [atdgen] 01/16: Update debian/watch

This is an automated email from the git hooks/post-receive script. glondu pushed a commit to branch master in repository atdgen. commit 3fc03c4ecb74a4b93e8042f3beaba807f61727dd Author: Stephane Glondu Date: Thu Jan 28 09:48:14 2016 +0100 Update debian/watch --- debian/watch | 3 +-- 1 fi

[Pkg-ocaml-maint-commits] [atdgen] 03/16: Imported Upstream version 1.4.1

This is an automated email from the git hooks/post-receive script. glondu pushed a commit to branch master in repository atdgen. commit 5ff4559ca16048b19caf3d446844025c72cb3e97 Author: Stephane Glondu Date: Thu Jan 28 09:51:46 2016 +0100 Imported Upstream version 1.4.1 --- Makefile

[Pkg-ocaml-maint-commits] [atdgen] 09/16: Imported Upstream version 1.7.2

This is an automated email from the git hooks/post-receive script. glondu pushed a commit to branch master in repository atdgen. commit 7c22d50abda65b03b323cfa2bd3e04005296c813 Author: Stephane Glondu Date: Thu Jan 28 09:52:14 2016 +0100 Imported Upstream version 1.7.2 --- opam