[Pkg-ocaml-maint-commits] [alt-ergo] branch master updated (db669a5 -> 925ad0e)

2016-12-12 Thread Ralf Treinen
This is an automated email from the git hooks/post-receive script. treinen pushed a change to branch master in repository alt-ergo. from db669a5 bump build-dep on ocaml new 3e9c8d4 dh compat level 10 new 16c9464 bumped standards-version new 8e290d7 dropped r

[Pkg-ocaml-maint-commits] [alt-ergo] 04/09: updated Vcs-{Git, Browser}

2016-12-12 Thread Ralf Treinen
This is an automated email from the git hooks/post-receive script. treinen pushed a commit to branch master in repository alt-ergo. commit 568aa6c97b20c84e2a7cbce84650d00a827cb0f5 Author: Ralf Treinen Date: Wed Oct 26 21:21:46 2016 +0200 updated Vcs-{Git,Browser} --- debian/changelog | 3

[Pkg-ocaml-maint-commits] [alt-ergo] 01/09: dh compat level 10

2016-12-12 Thread Ralf Treinen
This is an automated email from the git hooks/post-receive script. treinen pushed a commit to branch master in repository alt-ergo. commit 3e9c8d43de4d618b87fad1ec68aeda4ac473cde3 Author: Ralf Treinen Date: Wed Oct 26 21:10:59 2016 +0200 dh compat level 10 --- debian/changelog | 9 ++

[Pkg-ocaml-maint-commits] [alt-ergo] 06/09: Merge tag 'upstream/1.30'

2016-12-12 Thread Ralf Treinen
This is an automated email from the git hooks/post-receive script. treinen pushed a commit to branch master in repository alt-ergo. commit 10abc0e5b8b42cff822c7dbc338fb66d0b54e046 Merge: 568aa6c 79f8d40 Author: Ralf Treinen Date: Tue Nov 29 21:25:40 2016 +0100 Merge tag 'upstream/1.30'

[Pkg-ocaml-maint-commits] [alt-ergo] 08/09: fix spelling

2016-12-12 Thread Ralf Treinen
This is an automated email from the git hooks/post-receive script. treinen pushed a commit to branch master in repository alt-ergo. commit 9b20bce6c3f2943569db911b58a1e40e3d2ffd8e Author: Ralf Treinen Date: Mon Dec 12 20:00:52 2016 +0100 fix spelling --- debian/changelog| 3 ++-

[Pkg-ocaml-maint-commits] [alt-ergo] 09/09: + build-dependency on ocaml-findlib

2016-12-12 Thread Ralf Treinen
This is an automated email from the git hooks/post-receive script. treinen pushed a commit to branch master in repository alt-ergo. commit 925ad0ed100810f813e4fff64d4d986d21ce36a6 Author: Ralf Treinen Date: Mon Dec 12 20:22:57 2016 +0100 + build-dependency on ocaml-findlib --- debian/cha

[Pkg-ocaml-maint-commits] [alt-ergo] 02/09: bumped standards-version

2016-12-12 Thread Ralf Treinen
This is an automated email from the git hooks/post-receive script. treinen pushed a commit to branch master in repository alt-ergo. commit 16c9464353feffabda84109762c23aed577da307 Author: Ralf Treinen Date: Wed Oct 26 21:16:40 2016 +0200 bumped standards-version --- debian/changelog | 3

[Pkg-ocaml-maint-commits] [alt-ergo] 03/09: dropped redundant Testsuite

2016-12-12 Thread Ralf Treinen
This is an automated email from the git hooks/post-receive script. treinen pushed a commit to branch master in repository alt-ergo. commit 8e290d7f9a3b2276406c6d5c0ed8e9e46454efb9 Author: Ralf Treinen Date: Wed Oct 26 21:19:19 2016 +0200 dropped redundant Testsuite --- debian/changelog |

[Pkg-ocaml-maint-commits] [alt-ergo] 07/09: new upstream version

2016-12-12 Thread Ralf Treinen
This is an automated email from the git hooks/post-receive script. treinen pushed a commit to branch master in repository alt-ergo. commit 1ae21bb2ce895fcf06ec20f7dac009cfbd3a94b9 Author: Ralf Treinen Date: Tue Nov 29 21:35:27 2016 +0100 new upstream version --- debian/changelog

[Pkg-ocaml-maint-commits] [alt-ergo] annotated tag debian/1.30-1 created (now 31b5751)

2016-12-12 Thread Ralf Treinen
This is an automated email from the git hooks/post-receive script. treinen pushed a change to annotated tag debian/1.30-1 in repository alt-ergo. at 31b5751 (tag) tagging 925ad0ed100810f813e4fff64d4d986d21ce36a6 (commit) replaces debian/1.01-1 tagged by Ralf Treinen on

[Pkg-ocaml-maint-commits] [alt-ergo] branch pristine-tar updated (c892cf0 -> 314d779)

2016-12-12 Thread Ralf Treinen
This is an automated email from the git hooks/post-receive script. treinen pushed a change to branch pristine-tar in repository alt-ergo. from c892cf0 pristine-tar data for alt-ergo_1.01.orig.tar.gz new 314d779 pristine-tar data for alt-ergo_1.30.orig.tar.gz The 1 revisions li

[Pkg-ocaml-maint-commits] [alt-ergo] branch upstream updated (f60d17b -> 79f8d40)

2016-12-12 Thread Ralf Treinen
This is an automated email from the git hooks/post-receive script. treinen pushed a change to branch upstream in repository alt-ergo. from f60d17b Imported Upstream version 1.01 adds 79f8d40 New upstream version 1.30 No new revisions were added by this update. Summary of chang

[Pkg-ocaml-maint-commits] [alt-ergo] 01/01: pristine-tar data for alt-ergo_1.30.orig.tar.gz

2016-12-12 Thread Ralf Treinen
This is an automated email from the git hooks/post-receive script. treinen pushed a commit to branch pristine-tar in repository alt-ergo. commit 314d779ddeb859f45057efe22b244ce0e4154df9 Author: Ralf Treinen Date: Tue Nov 29 21:25:39 2016 +0100 pristine-tar data for alt-ergo_1.30.orig.tar.

[Pkg-ocaml-maint-commits] [alt-ergo] annotated tag upstream/1.30 created (now 7dc75aa)

2016-12-12 Thread Ralf Treinen
This is an automated email from the git hooks/post-receive script. treinen pushed a change to annotated tag upstream/1.30 in repository alt-ergo. at 7dc75aa (tag) tagging 79f8d402a06acd975623f626721a54331e34adb4 (commit) replaces upstream/1.01 tagged by Ralf Treinen on