[Pkg-ocaml-maint-commits] [frama-c] annotated tag debian/20161101+silicon+dfsg-3 created (now 77bffd6)

This is an automated email from the git hooks/post-receive script. mehdi pushed a change to annotated tag debian/20161101+silicon+dfsg-3 in repository frama-c. at 77bffd6 (tag) tagging 324038d660e990fd098aaa5959056a4f0513ecb5 (commit) replaces debian/20161101+silicon+dfsg-2

[Pkg-ocaml-maint-commits] [frama-c] 03/08: Avoid double linking of LoopAnalysis.cmo

This is an automated email from the git hooks/post-receive script. mehdi pushed a commit to branch master in repository frama-c. commit d991c20b71db2d46a1fed561c8f78fa2eef20940 Author: Mehdi Dogguy Date: Tue Dec 27 23:23:36 2016 +0100 Avoid double linking of

[Pkg-ocaml-maint-commits] [frama-c] 05/08: Re-enable Impact plugin by dropping --disable-impact

This is an automated email from the git hooks/post-receive script. mehdi pushed a commit to branch master in repository frama-c. commit 855895e9b73a45ac407425cd18cbd265474e988c Author: Mehdi Dogguy Date: Sat Dec 31 01:35:06 2016 +0100 Re-enable Impact plugin by dropping

[Pkg-ocaml-maint-commits] [frama-c] 07/08: Drop use of --enable-zarith=

This is an automated email from the git hooks/post-receive script. mehdi pushed a commit to branch master in repository frama-c. commit da139264977971eac054f03738b3367911694968 Author: Mehdi Dogguy Date: Sat Dec 31 01:38:37 2016 +0100 Drop use of --enable-zarith= ---

[Pkg-ocaml-maint-commits] [frama-c] 01/08: Install frama-c-config utility in frama-c-base

This is an automated email from the git hooks/post-receive script. mehdi pushed a commit to branch master in repository frama-c. commit bb0a6d4383db2711e1761dd9be2112ecb9638c50 Author: Mehdi Dogguy Date: Tue Dec 27 21:28:36 2016 +0100 Install frama-c-config utility in

[Pkg-ocaml-maint-commits] [frama-c] branch master updated (9840101 -> 324038d)

This is an automated email from the git hooks/post-receive script. mehdi pushed a change to branch master in repository frama-c. from 9840101 Fix typo in Vcs-Browser field new bb0a6d4 Install frama-c-config utility in frama-c-base new 1feb7af Clean up content of

[Pkg-ocaml-maint-commits] [frama-c] 02/08: Clean up content of filtered files from debian/gbp.conf

This is an automated email from the git hooks/post-receive script. mehdi pushed a commit to branch master in repository frama-c. commit 1feb7af960ecd1f13c4f6b2ebe7201c9737f9444 Author: Mehdi Dogguy Date: Tue Dec 27 21:31:11 2016 +0100 Clean up content of filtered files

[Pkg-ocaml-maint-commits] [frama-c] 08/08: 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 324038d660e990fd098aaa5959056a4f0513ecb5 Author: Mehdi Dogguy Date: Sun Jan 1 00:37:33 2017 +0100 Release to unstable ---

[Pkg-ocaml-maint-commits] [frama-c] 04/08: ocaml-findlib is not needed for frama-c-base

This is an automated email from the git hooks/post-receive script. mehdi pushed a commit to branch master in repository frama-c. commit bc67d07c59fd1c32186e41b49780192ca78d3922 Author: Mehdi Dogguy Date: Thu Dec 29 11:37:46 2016 +0100 ocaml-findlib is not needed for

[Pkg-ocaml-maint-commits] [frama-c] 06/08: Drop configure flag --disable-security as it became useless.

This is an automated email from the git hooks/post-receive script. mehdi pushed a commit to branch master in repository frama-c. commit 3ab1bc766deba9bd63ef5e255468aeabe95a08f7 Author: Mehdi Dogguy Date: Sat Dec 31 01:35:42 2016 +0100 Drop configure flag

[Pkg-ocaml-maint-commits] [otags] 01/01: build and test without libsexplib-camlp4-dev

This is an automated email from the git hooks/post-receive script. hendrik-guest pushed a commit to branch master in repository otags. commit 475812baa95682d2541385b82126fefa62cf8d37 Author: Hendrik Tews Date: Sun Jan 1 00:43:05 2017 +0100 build and test without

[Pkg-ocaml-maint-commits] [otags] branch master updated (c27f42a -> 475812b)

This is an automated email from the git hooks/post-receive script. hendrik-guest pushed a change to branch master in repository otags. from c27f42a Release to unstable new 475812b build and test without libsexplib-camlp4-dev The 1 revisions listed above as "new" are entirely