[Pkg-ocaml-maint-commits] [frama-c] 03/07: Install zsh completion file

This is an automated email from the git hooks/post-receive script. mehdi pushed a commit to branch master in repository frama-c. commit 8aae375a006963323197162358a5684a3651ec7c Author: Mehdi Dogguy Date: Sun Sep 10 12:46:55 2017 +0200 Install zsh completion file ---

[Pkg-ocaml-maint-commits] [frama-c] 07/07: Release to unstable

This is an automated email from the git hooks/post-receive script. mehdi pushed a commit to branch master in repository frama-c. commit de35fac2935de2a2bf6f18fe0b90f7fc4b0bea86 Author: Mehdi Dogguy Date: Sun Sep 10 13:52:22 2017 +0200 Release to unstable ---

[Pkg-ocaml-maint-commits] [frama-c] 02/07: Add 2 new fixes from upstream's repository

This is an automated email from the git hooks/post-receive script. mehdi pushed a commit to branch master in repository frama-c. commit 8684293d3be55e5498d765cd3d0b0e35c183db09 Author: Mehdi Dogguy Date: Sun Sep 10 12:32:26 2017 +0200 Add 2 new fixes from upstream's

[Pkg-ocaml-maint-commits] [frama-c] 04/07: Fix installation target on bytecode architectures

This is an automated email from the git hooks/post-receive script. mehdi pushed a commit to branch master in repository frama-c. commit 4a9dd7b3e357d850b3527f235b915c0356951e7e Author: Mehdi Dogguy Date: Sun Sep 10 13:10:19 2017 +0200 Fix installation target on bytecode

[Pkg-ocaml-maint-commits] [frama-c] branch master updated (f422bfb -> de35fac)

This is an automated email from the git hooks/post-receive script. mehdi pushed a change to branch master in repository frama-c. from f422bfb Release to unstable new 5355bc9 Fix typo in patch 0006-gui.byte-needs-TARGETS_GUI_BYTE-only.patch new 8684293 Add 2 new

[Pkg-ocaml-maint-commits] [frama-c] 05/07: Do not use '-C' CPPFLAG when compiling jemalloc

This is an automated email from the git hooks/post-receive script. mehdi pushed a commit to branch master in repository frama-c. commit 425ef1875af98b81627491d19162a9a8e19316dc Author: Mehdi Dogguy Date: Sun Sep 10 13:48:52 2017 +0200 Do not use '-C' CPPFLAG when

[Pkg-ocaml-maint-commits] [frama-c] annotated tag debian/20170501+phosphorus+dfsg-2 created (now c26ebd2)

This is an automated email from the git hooks/post-receive script. mehdi pushed a change to annotated tag debian/20170501+phosphorus+dfsg-2 in repository frama-c. at c26ebd2 (tag) tagging de35fac2935de2a2bf6f18fe0b90f7fc4b0bea86 (commit) replaces

[Pkg-ocaml-maint-commits] [frama-c] 06/07: Changelog update

This is an automated email from the git hooks/post-receive script. mehdi pushed a commit to branch master in repository frama-c. commit b656fa77804fc431332ecaf3c5a133c66a341617 Author: Mehdi Dogguy Date: Sun Sep 10 12:34:53 2017 +0200 Changelog update ---

[Pkg-ocaml-maint-commits] [frama-c] 01/07: Fix typo in patch 0006-gui.byte-needs-TARGETS_GUI_BYTE-only.patch

This is an automated email from the git hooks/post-receive script. mehdi pushed a commit to branch master in repository frama-c. commit 5355bc99123355a9482cb30dca2d7602467dbb50 Author: Mehdi Dogguy Date: Sun Sep 10 12:21:41 2017 +0200 Fix typo in patch