[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

[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

[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

[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

[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

[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

[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

[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

[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

[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

[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

[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

[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

[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

[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

[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

[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