[Pkg-ocaml-maint-commits] [why] branch master updated (11cf726 -> f8538ba)

2017-04-24 Thread Ralf Treinen
This is an automated email from the git hooks/post-receive script. treinen pushed a change to branch master in repository why. from 11cf726 set FRAMADIR adds e2becea Imported Upstream version 2.35 adds 460c3c0 New upstream version 2.36 new 464673e New upstream

[Pkg-ocaml-maint-commits] [why] 04/08: adapt patches to new upstream

2017-04-24 Thread Ralf Treinen
This is an automated email from the git hooks/post-receive script. treinen pushed a commit to branch master in repository why. commit 9314605f6bd4c348405b67a82b0d794a38e8fb3a Author: Ralf Treinen Date: Sat Apr 22 20:45:48 2017 +0200 adapt patches to new upstream --- debian/changelog

[Pkg-ocaml-maint-commits] [why] 02/08: Updated version 2.38 from 'upstream/2.38'

2017-04-24 Thread Ralf Treinen
This is an automated email from the git hooks/post-receive script. treinen pushed a commit to branch master in repository why. commit e3b175dc1edb9eec651a6880f33649a13ab98995 Merge: 11cf726 464673e Author: Ralf Treinen Date: Sat Apr 22 20:28:02 2017 +0200 Updated version 2.38 from 'upstre

[Pkg-ocaml-maint-commits] [why] 03/08: new upstream

2017-04-24 Thread Ralf Treinen
This is an automated email from the git hooks/post-receive script. treinen pushed a commit to branch master in repository why. commit 01c83ee661ee6306bacdef692bd20da85574fba6 Author: Ralf Treinen Date: Sat Apr 22 20:30:14 2017 +0200 new upstream --- debian/changelog | 6 ++ 1 file ch

[Pkg-ocaml-maint-commits] [why] 08/08: restrict to native architectures

2017-04-24 Thread Ralf Treinen
This is an automated email from the git hooks/post-receive script. treinen pushed a commit to branch master in repository why. commit f8538ba3b23cba83bdbe9ea0df47f8b07afe2d44 Author: Ralf Treinen Date: Mon Apr 24 08:27:39 2017 +0200 restrict to native architectures --- debian/changelog

[Pkg-ocaml-maint-commits] [why] 06/08: install Jessie.o

2017-04-24 Thread Ralf Treinen
This is an automated email from the git hooks/post-receive script. treinen pushed a commit to branch master in repository why. commit a60197e3c821f0e6df3a741ccbaa8a11f8fda44e Author: Ralf Treinen Date: Sat Apr 22 21:03:19 2017 +0200 install Jessie.o --- debian/changelog | 3 ++- deb

[Pkg-ocaml-maint-commits] [why] 07/08: close bug 858366

2017-04-24 Thread Ralf Treinen
This is an automated email from the git hooks/post-receive script. treinen pushed a commit to branch master in repository why. commit f3cc2fbb35883bda8e6479bf3bcab81bf8113825 Author: Ralf Treinen Date: Sun Apr 23 21:55:27 2017 +0200 close bug 858366 --- debian/changelog | 2 +- 1 file ch

[Pkg-ocaml-maint-commits] [why] branch upstream updated (460c3c0 -> 464673e)

2017-04-24 Thread Ralf Treinen
This is an automated email from the git hooks/post-receive script. treinen pushed a change to branch upstream in repository why. from 460c3c0 New upstream version 2.36 adds 464673e New upstream version 2.38 No new revisions were added by this update. Summary of changes: .depe

[Pkg-ocaml-maint-commits] [why] 05/08: bump build-dependency on frama-c to Silicon

2017-04-24 Thread Ralf Treinen
This is an automated email from the git hooks/post-receive script. treinen pushed a commit to branch master in repository why. commit c3465b18713095875caf30664e3e1ff37c84f77a Author: Ralf Treinen Date: Sat Apr 22 20:51:38 2017 +0200 bump build-dependency on frama-c to Silicon --- debian/

[Pkg-ocaml-maint-commits] [why] branch pristine-tar updated (d272067 -> 8cbf52a)

2017-04-24 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 why. from d272067 pristine-tar data for why_2.36.orig.tar.gz new 8cbf52a pristine-tar data for why_2.38.orig.tar.gz The 1 revisions listed above as "

[Pkg-ocaml-maint-commits] [why] annotated tag debian/2.38-1 created (now cdf5269)

2017-04-24 Thread Ralf Treinen
This is an automated email from the git hooks/post-receive script. treinen pushed a change to annotated tag debian/2.38-1 in repository why. at cdf5269 (tag) tagging f8538ba3b23cba83bdbe9ea0df47f8b07afe2d44 (commit) replaces debian/2.36-5 tagged by Ralf Treinen on Mon

[Pkg-ocaml-maint-commits] [why] annotated tag upstream/2.38 created (now f20b043)

2017-04-24 Thread Ralf Treinen
This is an automated email from the git hooks/post-receive script. treinen pushed a change to annotated tag upstream/2.38 in repository why. at f20b043 (tag) tagging 464673ea117ab65789206fb29b1997ae8752c946 (commit) replaces upstream/2.36 tagged by Ralf Treinen on Sat

[Pkg-ocaml-maint-commits] [why] 01/01: pristine-tar data for why_2.38.orig.tar.gz

2017-04-24 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 why. commit 8cbf52af16e148d6d52fb85b31f982d2e5ac689b Author: Ralf Treinen Date: Sat Apr 22 20:28:02 2017 +0200 pristine-tar data for why_2.38.orig.tar.gz --- wh