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

[Mehdi Dogguy]

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 filtered files from debian/gbp.conf
       new  d991c20   Avoid double linking of LoopAnalysis.cmo
       new  bc67d07   ocaml-findlib is not needed for frama-c-base
       new  855895e   Re-enable Impact plugin by dropping --disable-impact
       new  3ab1bc7   Drop configure flag --disable-security as it became useless.
       new  da13926   Drop use of --enable-zarith=<path>
       new  324038d   Release to unstable

The 8 revisions listed above as "new" are entirely new to this
repository and will be described in separate emails.  The revisions
listed as "adds" were already present in the repository and have only
been added to this reference.


Summary of changes:
 debian/changelog                                   | 17 ++++++++--
 debian/control                                     |  1 -
 debian/frama-c-base.install.in                     |  1 +
 debian/gbp.conf                                    |  4 ---
 ...005-Add-a-section-for-LoopAnalysis-plugin.patch | 36 ----------------------
 .../0005-Value.cmo-needs-LoopAnalysis.cmo.patch    | 26 ++++++++++++++++
 debian/patches/series                              |  2 +-
 debian/rules                                       |  3 --
 8 files changed, 42 insertions(+), 48 deletions(-)
 delete mode 100644 debian/patches/0005-Add-a-section-for-LoopAnalysis-plugin.patch
 create mode 100644 debian/patches/0005-Value.cmo-needs-LoopAnalysis.cmo.patch

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/frama-c.git