[Pkg-ocaml-maint-commits] [why] 01/03: rewrite package description

This is an automated email from the git hooks/post-receive script. treinen pushed a commit to branch master in repository why. commit dd9bb33010b644d32b94855e0016028382a409d5 Author: Ralf Treinen Date: Tue Oct 11 08:31:51 2016 +0200 rewrite package description --- debian/changelog | 1 +

[Pkg-ocaml-maint-commits] [why] 03/03: why.NEWS : transition to why3

This is an automated email from the git hooks/post-receive script. treinen pushed a commit to branch master in repository why. commit 95e41ee4fddf67867ffdc15443e3d59b77d08ec4 Author: Ralf Treinen Date: Tue Oct 11 09:09:38 2016 +0200 why.NEWS : transition to why3 --- debian/changelog | 1

[Pkg-ocaml-maint-commits] [why] branch master updated (0143233 -> 95e41ee)

This is an automated email from the git hooks/post-receive script. treinen pushed a change to branch master in repository why. from 0143233 add krakatoa manpage new dd9bb33 rewrite package description new f0dca0a update homepage new 95e41ee why.NEWS : transi

[Pkg-ocaml-maint-commits] [why] 02/03: update homepage

This is an automated email from the git hooks/post-receive script. treinen pushed a commit to branch master in repository why. commit f0dca0a82ed9c7011dc6cd6bd6e772946a8f202d Author: Ralf Treinen Date: Tue Oct 11 08:35:40 2016 +0200 update homepage --- debian/changelog | 3 ++- debian/co

[Pkg-ocaml-maint-commits] [why] 08/10: disable tests

This is an automated email from the git hooks/post-receive script. treinen pushed a commit to branch try in repository why. commit a365a7b65e2bedf6c36f73e2cc559419fb9d4a0a Author: Ralf Treinen Date: Fri Sep 30 21:28:58 2016 +0200 disable tests --- debian/changelog | 3 ++- debian/rules

[Pkg-ocaml-maint-commits] [why] 01/10: Merge tag 'upstream/2.35'

This is an automated email from the git hooks/post-receive script. treinen pushed a commit to branch try in repository why. commit 8c0349f3018140d9f6e503cda5df56586ea008df Merge: e74847a e2becea Author: Ralf Treinen Date: Tue Mar 15 20:52:33 2016 +0100 Merge tag 'upstream/2.35' U

[Pkg-ocaml-maint-commits] [why] 09/10: create bin dir before building

This is an automated email from the git hooks/post-receive script. treinen pushed a commit to branch try in repository why. commit bd04621d287493239a020f176d7cc396fc92bce5 Author: Ralf Treinen Date: Fri Sep 30 21:33:25 2016 +0200 create bin dir before building --- debian/changelog | 1 +

[Pkg-ocaml-maint-commits] [why] 07/10: bump build-dependency on frama-c

This is an automated email from the git hooks/post-receive script. treinen pushed a commit to branch try in repository why. commit bbd968c66ff3785492f446d955578afb57391db3 Author: Ralf Treinen Date: Tue Sep 20 20:59:02 2016 +0200 bump build-dependency on frama-c --- debian/changelog | 3

[Pkg-ocaml-maint-commits] [why] 04/10: update debian/watch

This is an automated email from the git hooks/post-receive script. treinen pushed a commit to branch try in repository why. commit f85dddcc628c2c69e815af859a0af42992378833 Author: Ralf Treinen Date: Tue Sep 20 20:36:48 2016 +0200 update debian/watch --- debian/changelog | 4 ++-- debian/

[Pkg-ocaml-maint-commits] [why] 02/02: debhelper level 10

This is an automated email from the git hooks/post-receive script. treinen pushed a commit to branch master in repository why. commit 94274d419d6d2b0ff74a050df4fbc5be58cedd12 Author: Ralf Treinen Date: Tue Oct 11 21:18:36 2016 +0200 debhelper level 10 --- debian/changelog | 8 ++-- d

[Pkg-ocaml-maint-commits] [why] branch master updated (95e41ee -> 94274d4)

This is an automated email from the git hooks/post-receive script. treinen pushed a change to branch master in repository why. from 95e41ee why.NEWS : transition to why3 new 76592cf build-depend on why3-coq new 94274d4 debhelper level 10 The 2 revisions listed above

[Pkg-ocaml-maint-commits] [why] 10/10: drop package why-examples

This is an automated email from the git hooks/post-receive script. treinen pushed a commit to branch try in repository why. commit 3e8e7ff15fd6c68149c5096c780b13b08ea7151a Author: Ralf Treinen Date: Fri Sep 30 21:39:59 2016 +0200 drop package why-examples --- debian/changelog

[Pkg-ocaml-maint-commits] [why] branch try created (now 3e8e7ff)

This is an automated email from the git hooks/post-receive script. treinen pushed a change to branch try in repository why. at 3e8e7ff drop package why-examples This branch includes the following new commits: new 8c0349f Merge tag 'upstream/2.35' new 827e12e refre

[Pkg-ocaml-maint-commits] [why] 06/10: drop patch atp-versions

This is an automated email from the git hooks/post-receive script. treinen pushed a commit to branch try in repository why. commit 7754131cb3d5a644693b7cf61c933568efbfe75d Author: Ralf Treinen Date: Tue Sep 20 20:48:59 2016 +0200 drop patch atp-versions --- debian/changelog|

[Pkg-ocaml-maint-commits] [why] 03/10: dropped build-dependency on libfloat-coq

This is an automated email from the git hooks/post-receive script. treinen pushed a commit to branch try in repository why. commit 374c7e958433b59ab687ea97599e4d871bd22714 Author: Ralf Treinen Date: Tue Mar 15 21:18:04 2016 +0100 dropped build-dependency on libfloat-coq --- debian/change

[Pkg-ocaml-maint-commits] [why] 02/10: refreshed patches edge and bprintf, dropped patch makefile

This is an automated email from the git hooks/post-receive script. treinen pushed a commit to branch try in repository why. commit 827e12e34c4dad3b29ac25431e9e0ae96f0f2fdf Author: Ralf Treinen Date: Tue Mar 15 21:02:16 2016 +0100 refreshed patches edge and bprintf, dropped patch makefile

[Pkg-ocaml-maint-commits] [why] 01/02: build-depend on why3-coq

This is an automated email from the git hooks/post-receive script. treinen pushed a commit to branch master in repository why. commit 76592cfc1ec1fabb42483b109d3b5cf58dd01e3f Author: Ralf Treinen Date: Tue Oct 11 21:07:01 2016 +0200 build-depend on why3-coq --- debian/changelog | 2 +- d

[Pkg-ocaml-maint-commits] [why] annotated tag debian/2.36-1 created (now 84accc1)

This is an automated email from the git hooks/post-receive script. treinen pushed a change to annotated tag debian/2.36-1 in repository why. at 84accc1 (tag) tagging 94274d419d6d2b0ff74a050df4fbc5be58cedd12 (commit) replaces debian/2.34-4 tagged by Ralf Treinen on Tue