[Pkg-ocaml-maint-commits] [alt-ergo] 08/11: debian/rules : drop install-pack

This is an automated email from the git hooks/post-receive script. treinen pushed a commit to branch experimental/master in repository alt-ergo. commit 3ae0b13f58e4fd4601467c5ed62c757c00f131a6 Author: Ralf Treinen Date: Tue Dec 30 18:42:55 2014 +0100 debian/rules : drop install-pack ---

[Pkg-ocaml-maint-commits] [alt-ergo] 03/11: Merge tag 'upstream/0.99.1+dfsg1' into experimental/master

This is an automated email from the git hooks/post-receive script. treinen pushed a commit to branch experimental/master in repository alt-ergo. commit 1816bcebae105db787f2bdc4ed28bcf6327b2b28 Merge: f4be06c da20a0b Author: Ralf Treinen Date: Tue Dec 30 18:09:14 2014 +0100 Merge tag 'upst

[Pkg-ocaml-maint-commits] [alt-ergo] branch experimental/master updated (93ae5f0 -> 5f1b37b)

This is an automated email from the git hooks/post-receive script. treinen pushed a change to branch experimental/master in repository alt-ergo. from 93ae5f0 upload to experimental adds 231d305 upload to sid adds 4cb6613 lib-dev package breaks/replaces alt-ergo in versi

[Pkg-ocaml-maint-commits] [alt-ergo] 01/11: debian/copyright : Files-Excluded: non-free

This is an automated email from the git hooks/post-receive script. treinen pushed a commit to branch experimental/master in repository alt-ergo. commit f4be06c8ebdb029d461e9e20aa443db70e594cde Author: Ralf Treinen Date: Tue Dec 30 17:58:03 2014 +0100 debian/copyright : Files-Excluded: non

[Pkg-ocaml-maint-commits] [alt-ergo] 09/11: drop libalt-ergo-ocaml-dev binary package

This is an automated email from the git hooks/post-receive script. treinen pushed a commit to branch experimental/master in repository alt-ergo. commit 14ee89e280c5f29ecfc676e50829a883b078eaec Author: Ralf Treinen Date: Tue Dec 30 18:53:56 2014 +0100 drop libalt-ergo-ocaml-dev binary pack

[Pkg-ocaml-maint-commits] [alt-ergo] 11/11: debian/watch : mangle +dfsg\d* \version suffix

This is an automated email from the git hooks/post-receive script. treinen pushed a commit to branch experimental/master in repository alt-ergo. commit 5f1b37beba161ef55155ae3d5f91f4cbded17920 Author: Ralf Treinen Date: Tue Dec 30 19:05:10 2014 +0100 debian/watch : mangle +dfsg\d* \versio

[Pkg-ocaml-maint-commits] [alt-ergo] 05/11: debian/rules clean target : execute ony when config.status exists

This is an automated email from the git hooks/post-receive script. treinen pushed a commit to branch experimental/master in repository alt-ergo. commit 476fbaca9cb566c5dbc6bde2cd2f72d664d186a8 Author: Ralf Treinen Date: Tue Dec 30 18:22:25 2014 +0100 debian/rules clean target : execute on

[Pkg-ocaml-maint-commits] [alt-ergo] 06/11: update patch 0001-No-need-to-activate-debug-flag

This is an automated email from the git hooks/post-receive script. treinen pushed a commit to branch experimental/master in repository alt-ergo. commit adafe159ad33887906cfd0d0a9fd682f0784c645 Author: Ralf Treinen Date: Tue Dec 30 18:31:35 2014 +0100 update patch 0001-No-need-to-activate-

[Pkg-ocaml-maint-commits] [alt-ergo] 04/11: new upstream 0.99.1

This is an automated email from the git hooks/post-receive script. treinen pushed a commit to branch experimental/master in repository alt-ergo. commit d12791c9b702e7e758a955699072cdfe05e4e27f Author: Ralf Treinen Date: Tue Dec 30 18:10:53 2014 +0100 new upstream 0.99.1 --- debian/change

[Pkg-ocaml-maint-commits] [alt-ergo] 10/11: bump standards-version

This is an automated email from the git hooks/post-receive script. treinen pushed a commit to branch experimental/master in repository alt-ergo. commit e61f1c9b299556b1d99aa01f6940507e5d034600 Author: Ralf Treinen Date: Tue Dec 30 18:57:03 2014 +0100 bump standards-version --- debian/cha

[Pkg-ocaml-maint-commits] [alt-ergo] 07/11: fix Makefile.users for dropping of non-free dirfectory

This is an automated email from the git hooks/post-receive script. treinen pushed a commit to branch experimental/master in repository alt-ergo. commit adf7037b482558d218107c61ecabd52d0f3db764 Author: Ralf Treinen Date: Tue Dec 30 18:40:01 2014 +0100 fix Makefile.users for dropping of non

[Pkg-ocaml-maint-commits] [alt-ergo] branch pristine-tar updated (16c07c9 -> c4c85a7)

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 16c07c9 pristine-tar data for alt-ergo_0.95.2.orig.tar.gz new c4c85a7 pristine-tar data for alt-ergo_0.99.1+dfsg1.orig.tar.gz The 1 re

[Pkg-ocaml-maint-commits] [alt-ergo] annotated tag upstream/0.99.1+dfsg1 created (now e944171)

This is an automated email from the git hooks/post-receive script. treinen pushed a change to annotated tag upstream/0.99.1+dfsg1 in repository alt-ergo. at e944171 (tag) tagging da20a0bac6aa0e4e76c9252b8fd1807605f0c482 (commit) replaces upstream/0.95.2 tagged by Ralf Treinen

[Pkg-ocaml-maint-commits] [alt-ergo] branch experimental/upstream updated (e8667c8 -> da20a0b)

This is an automated email from the git hooks/post-receive script. treinen pushed a change to branch experimental/upstream in repository alt-ergo. from e8667c8 Imported Upstream version 0.95.1 adds 5dc7ee9 Imported Upstream version 0.95.2 adds da20a0b Imported Upstream

[Pkg-ocaml-maint-commits] [alt-ergo] 01/01: pristine-tar data for alt-ergo_0.99.1+dfsg1.orig.tar.gz

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 c4c85a777e29f57691bef7b04490add183bb8294 Author: Ralf Treinen Date: Tue Dec 30 18:09:14 2014 +0100 pristine-tar data for alt-ergo_0.99.1+dfsg1.o