[Pkg-ocaml-maint-commits] [unison] 01/01: pristine-tar data for unison2.40.102_2.40.102.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 unison. commit 426bfbb6f203ecd99289e5180c649b19b0af9c79 Author: Stephane Glondu st...@glondu.net Date: Thu Jul 2 16:29:28 2015 +0200 pristine-tar data for

[Pkg-ocaml-maint-commits] [unison] annotated tag debian/unison2.40.102-2.40.102-3 created (now 8690f38)

This is an automated email from the git hooks/post-receive script. glondu pushed a change to annotated tag debian/unison2.40.102-2.40.102-3 in repository unison. at 8690f38 (tag) tagging 4278da3e27344907042504895695ef320171175e (commit) replaces debian/2.40.102-2 tagged by

[Pkg-ocaml-maint-commits] [unison] 03/04: Fork a unison2.40.102 package

This is an automated email from the git hooks/post-receive script. glondu pushed a commit to annotated tag debian/unison2.40.102-2.40.102-3 in repository unison. commit 8cd48f4f794533996f68717c31537a167e2cba48 Author: Stephane Glondu st...@glondu.net Date: Thu Jul 2 16:21:47 2015 +0200

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

This is an automated email from the git hooks/post-receive script. glondu pushed a commit to annotated tag debian/unison2.40.102-2.40.102-3 in repository unison. commit 4278da3e27344907042504895695ef320171175e Author: Stephane Glondu st...@glondu.net Date: Tue Jul 14 12:55:56 2015 +0200

[Pkg-ocaml-maint-commits] [unison] 02/04: Update Vcs-*

This is an automated email from the git hooks/post-receive script. glondu pushed a commit to annotated tag debian/unison2.40.102-2.40.102-3 in repository unison. commit 3f4c1a9352450f3c82615c3f68fe3486b22b3d7e Author: Stephane Glondu st...@glondu.net Date: Thu Jul 2 16:54:12 2015 +0200

[Pkg-ocaml-maint-commits] [unison] branch 2.40.102/master created (now 4278da3)

This is an automated email from the git hooks/post-receive script. glondu pushed a change to branch 2.40.102/master in repository unison. at 4278da3 Update changelog and prepare upload to unstable No new revisions were added by this update. -- Alioth's

[Pkg-ocaml-maint-commits] [unison] branch 2.40.102/upstream created (now 2918a89)

This is an automated email from the git hooks/post-receive script. glondu pushed a change to branch 2.40.102/upstream in repository unison. at 2918a89 Imported Upstream version 2.40.102 No new revisions were added by this update. -- Alioth's /usr/local/bin/git-commit-notice on

[Pkg-ocaml-maint-commits] [unison] branch master updated (6baf87d - 3f4c1a9)

This is an automated email from the git hooks/post-receive script. glondu pushed a change to branch master in repository unison. from 6baf87d Update changelog and prepare upload to unstable adds bfe8235 Fix Lintian warning about debian/unison-gtk.svg adds 3f4c1a9

[Pkg-ocaml-maint-commits] [coq] annotated tag upstream/8.5_beta1+dfsg created (now b8e8c71)

This is an automated email from the git hooks/post-receive script. gareuselesinge pushed a change to annotated tag upstream/8.5_beta1+dfsg in repository coq. at b8e8c71 (tag) tagging cec4741afacd2e80894232850eaf9f9c0e45d6d7 (commit) replaces upstream/8.4pl4dfsg tagged by

[Pkg-ocaml-maint-commits] [coq] 04/04: Packaging 8.5beta1

This is an automated email from the git hooks/post-receive script. gareuselesinge pushed a commit to branch master in repository coq. commit 9d22a41a7047e6462c28a11203bf30b7657a4b53 Author: Enrico Tassi gareuselesi...@debian.org Date: Tue Jul 14 12:40:07 2015 +0200 Packaging 8.5beta1 ---

[Pkg-ocaml-maint-commits] [coq] 02/02: pristine-tar data for coq_8.5~beta1+dfsg.orig.tar.gz

This is an automated email from the git hooks/post-receive script. gareuselesinge pushed a commit to branch pristine-tar in repository coq. commit c042f85ec49c1651bf15e957724df0b3ba8d3261 Author: Enrico Tassi gareuselesi...@debian.org Date: Sun Jan 25 14:43:16 2015 +0100 pristine-tar data

[Pkg-ocaml-maint-commits] [coq] 02/04: Imported Upstream version 8.5~beta1+dfsg

This is an automated email from the git hooks/post-receive script. gareuselesinge pushed a commit to branch master in repository coq. commit cec4741afacd2e80894232850eaf9f9c0e45d6d7 Author: Enrico Tassi gareuselesi...@debian.org Date: Sun Jan 25 14:43:14 2015 +0100 Imported Upstream