[Pkg-ocaml-maint-commits] [mathcomp] 01/01: pristine-tar data for mathcomp_1.6.orig.tar.gz

2016-07-23 Thread Nicolas Braud-Santoni
This is an automated email from the git hooks/post-receive script. nicoo-guest pushed a commit to branch v1.6/pristine-tar in repository mathcomp. commit 1c2010deaeef948ff2ac7586e40e5ac0e8ee269e Author: Nicolas Braud-Santoni Date: Wed Jul 6 15:30:59 2016 +0200 pristine-tar data for mathco

[Pkg-ocaml-maint-commits] [mathcomp] branch v1.6/pristine-tar created (now 1c2010d)

2016-07-23 Thread Nicolas Braud-Santoni
This is an automated email from the git hooks/post-receive script. nicoo-guest pushed a change to branch v1.6/pristine-tar in repository mathcomp. at 1c2010d pristine-tar data for mathcomp_1.6.orig.tar.gz This branch includes the following new commits: new 1c2010d pristine-

[Pkg-ocaml-maint-commits] [mathcomp] 07/13: Bump Standards-Version to 3.9.8

2016-07-23 Thread Nicolas Braud-Santoni
This is an automated email from the git hooks/post-receive script. nicoo-guest pushed a commit to branch v1.6/master in repository mathcomp. commit a47293056322dadb143f6ed4735dc6947ce877ec Author: Nicolas Braud-Santoni Date: Fri Jul 22 15:37:57 2016 -0400 Bump Standards-Version to 3.9.8

[Pkg-ocaml-maint-commits] [mathcomp] 11/13: Switch to debhelper 9

2016-07-23 Thread Nicolas Braud-Santoni
This is an automated email from the git hooks/post-receive script. nicoo-guest pushed a commit to branch v1.6/master in repository mathcomp. commit 432d33e588e13e54ddad110ffb58ebfb114f78e3 Author: Nicolas Braud-Santoni Date: Sat Jul 23 13:37:35 2016 -0400 Switch to debhelper 9 --- debian

[Pkg-ocaml-maint-commits] [mathcomp] 08/13: Update copyright info

2016-07-23 Thread Nicolas Braud-Santoni
This is an automated email from the git hooks/post-receive script. nicoo-guest pushed a commit to branch v1.6/master in repository mathcomp. commit 9cde58d016e7fbde0693f21510c8335c88945ba7 Author: Nicolas Braud-Santoni Date: Fri Jul 22 15:38:36 2016 -0400 Update copyright info It

[Pkg-ocaml-maint-commits] [aac-tactics] 03/04: Fix installed docs

2016-07-23 Thread Nicolas Braud-Santoni
This is an automated email from the git hooks/post-receive script. nicoo-guest pushed a commit to branch patch-queue/master in repository aac-tactics. commit def1cb43b5fac06e93f802ca89ffb3d9eceb2582 Author: Nicolas Braud-Santoni Date: Sat Jul 23 16:29:39 2016 -0400 Fix installed docs ---

[Pkg-ocaml-maint-commits] [apron] 05/09: Use build-time hardening

2016-07-23 Thread Nicolas Braud-Santoni
This is an automated email from the git hooks/post-receive script. nicoo-guest pushed a commit to branch master in repository apron. commit 9c71e47c41a4501f6d7844f49033c5d2b9118d37 Author: Nicolas Braud-Santoni Date: Sat Jul 23 14:21:57 2016 -0400 Use build-time hardening --- debian/rule

[Pkg-ocaml-maint-commits] [apron] 01/09: Make libapron-dev depend on libapron (#715070)

2016-07-23 Thread Nicolas Braud-Santoni
This is an automated email from the git hooks/post-receive script. nicoo-guest pushed a commit to branch master in repository apron. commit ee1749dbd9a19944e219da9aac29cac8250b72dd Author: Nicolas Braud-Santoni Date: Sat Jul 23 14:16:18 2016 -0400 Make libapron-dev depend on libapron (#71

[Pkg-ocaml-maint-commits] [apron] 02/09: Bump Standards-Version to 3.9.8

2016-07-23 Thread Nicolas Braud-Santoni
This is an automated email from the git hooks/post-receive script. nicoo-guest pushed a commit to branch master in repository apron. commit ebad1bf796b1dfed40bf388c4d923b239a968c6c Author: Nicolas Braud-Santoni Date: Sat Jul 23 14:16:48 2016 -0400 Bump Standards-Version to 3.9.8 --- debi

[Pkg-ocaml-maint-commits] [apron] branch master updated (1147948 -> 0c9a2ca)

2016-07-23 Thread Nicolas Braud-Santoni
This is an automated email from the git hooks/post-receive script. nicoo-guest pushed a change to branch master in repository apron. from 1147948 let dh handle installation of lintian overrides new ee1749d Make libapron-dev depend on libapron (#715070) new ebad1bf Bum

[Pkg-ocaml-maint-commits] [apron] 03/09: debian/control: Use canonical, HTTPS URLs

2016-07-23 Thread Nicolas Braud-Santoni
This is an automated email from the git hooks/post-receive script. nicoo-guest pushed a commit to branch master in repository apron. commit 1bbf09059fdad8f84dcc6e4a7d44e4927124e6a8 Author: Nicolas Braud-Santoni Date: Sat Jul 23 14:17:12 2016 -0400 debian/control: Use canonical, HTTPS URLs

[Pkg-ocaml-maint-commits] [aac-tactics] 05/09: debian/rules: Do not fail on non-installed files

2016-07-23 Thread Nicolas Braud-Santoni
This is an automated email from the git hooks/post-receive script. nicoo-guest pushed a commit to branch master in repository aac-tactics. commit f2abc870b150ff1296576c7028941e57ee1c27ab Author: Nicolas Braud-Santoni Date: Sat Jul 23 16:26:21 2016 -0400 debian/rules: Do not fail on non-in

[Pkg-ocaml-maint-commits] [aac-tactics] 08/09: Bump Standards-Version to 3.9.8

2016-07-23 Thread Nicolas Braud-Santoni
This is an automated email from the git hooks/post-receive script. nicoo-guest pushed a commit to branch master in repository aac-tactics. commit ffcbcd6eb138bdd08b3b4ae9170d7c3441a30aaf Author: Nicolas Braud-Santoni Date: Sat Jul 23 16:36:16 2016 -0400 Bump Standards-Version to 3.9.8

[Pkg-ocaml-maint-commits] [aac-tactics] 01/09: Use HTTPS for Vcs-* links

2016-07-23 Thread Nicolas Braud-Santoni
This is an automated email from the git hooks/post-receive script. nicoo-guest pushed a commit to branch master in repository aac-tactics. commit 39ff825f1a0ea79b5b9f562549a76f99f73dce6f Author: Nicolas Braud-Santoni Date: Sat Jul 23 16:19:01 2016 -0400 Use HTTPS for Vcs-* links --- debi

[Pkg-ocaml-maint-commits] [aac-tactics] branch master updated (12c05cd -> b5e93c1)

2016-07-23 Thread Nicolas Braud-Santoni
This is an automated email from the git hooks/post-receive script. nicoo-guest pushed a change to branch master in repository aac-tactics. from 12c05cd Recompile with OCaml 4.02.3 new 39ff825 Use HTTPS for Vcs-* links new 2614d6d New upstream URL & watch file n

[Pkg-ocaml-maint-commits] [aac-tactics] 07/09: Fix typos

2016-07-23 Thread Nicolas Braud-Santoni
This is an automated email from the git hooks/post-receive script. nicoo-guest pushed a commit to branch master in repository aac-tactics. commit 4bd88e8337ba04e0575150d9df1400fc96fa56af Author: Nicolas Braud-Santoni Date: Sat Jul 23 16:32:24 2016 -0400 Fix typos --- debian/patches/0001-

[Pkg-ocaml-maint-commits] [aac-tactics] 04/09: Merge tag 'upstream/8.5.1'

2016-07-23 Thread Nicolas Braud-Santoni
This is an automated email from the git hooks/post-receive script. nicoo-guest pushed a commit to branch master in repository aac-tactics. commit a3a7c528787411373bb857af4b51f3003f9fcc2b Merge: 2614d6d 17564e4 Author: Nicolas Braud-Santoni Date: Sat Jul 23 16:22:24 2016 -0400 Merge tag 'u

[Pkg-ocaml-maint-commits] [aac-tactics] 06/09: Fix installed docs

2016-07-23 Thread Nicolas Braud-Santoni
This is an automated email from the git hooks/post-receive script. nicoo-guest pushed a commit to branch master in repository aac-tactics. commit a65abda5456ed28de1c5410353eb42f945d92c2d Author: Nicolas Braud-Santoni Date: Sat Jul 23 16:29:39 2016 -0400 Fix installed docs --- debian/liba

[Pkg-ocaml-maint-commits] [camlpdf] 04/08: Merge tag 'upstream/2.1.1'

2016-07-23 Thread Nicolas Braud-Santoni
This is an automated email from the git hooks/post-receive script. nicoo-guest pushed a commit to branch master in repository camlpdf. commit e848d1d08f3eb0724455947e07dfc9442282b828 Merge: 9946126 deda162 Author: Nicolas Braud-Santoni Date: Sat Jul 23 17:11:24 2016 -0400 Merge tag 'upstr

[Pkg-ocaml-maint-commits] [camlpdf] 05/08: Remove obsolete patches

2016-07-23 Thread Nicolas Braud-Santoni
This is an automated email from the git hooks/post-receive script. nicoo-guest pushed a commit to branch master in repository camlpdf. commit 131d7548f73e5e9ac0d26e8d248672ee09b60b4f Author: Nicolas Braud-Santoni Date: Sat Jul 23 17:12:39 2016 -0400 Remove obsolete patches --- debian/pat

[Pkg-ocaml-maint-commits] [camlpdf] 02/08: debian/watch: Use filenamemangle

2016-07-23 Thread Nicolas Braud-Santoni
This is an automated email from the git hooks/post-receive script. nicoo-guest pushed a commit to branch master in repository camlpdf. commit 9946126cb7c339d9c689c98698d095e634783489 Author: Nicolas Braud-Santoni Date: Sat Jul 23 17:11:08 2016 -0400 debian/watch: Use filenamemangle --- d

[Pkg-ocaml-maint-commits] [camlpdf] 07/08: Bump Standards-Version to 3.9.8

2016-07-23 Thread Nicolas Braud-Santoni
This is an automated email from the git hooks/post-receive script. nicoo-guest pushed a commit to branch master in repository camlpdf. commit cc00e3c402444025bee95bb75fd4d508f9bec26a Author: Nicolas Braud-Santoni Date: Sat Jul 23 17:16:41 2016 -0400 Bump Standards-Version to 3.9.8