[Pkg-ocaml-maint-commits] [frama-c] annotated tag debian/20150201+sodium+dfsg-1 created (now 8e1de0c)

[Mehdi Dogguy]

This is an automated email from the git hooks/post-receive script.

mehdi pushed a change to annotated tag debian/20150201+sodium+dfsg-1
in repository frama-c.

        at  8e1de0c   (tag)
   tagging  e0f45035ebcfc972480618ff964794bbbbc0a0cf (commit)
  replaces  debian/20140301+neon+dfsg-3
 tagged by  Mehdi Dogguy
        on  Mon Aug 31 22:18:14 2015 +0000

- Log -----------------------------------------------------------------
frama-c Debian release 20150201+sodium+dfsg-1

Mehdi Dogguy (9):
      Imported Upstream version 20150201+sodium+dfsg
      Merge tag 'upstream/20150201+sodium+dfsg'
      New upstream release (Closes: #797473).
      Refrech patches.
      Bump Standards-Version to 3.9.6, no changes needed.
      Disable DH_VERBOSE in d/rules.
      Add a few comments in d/rules
      Install GUI plugins in frama-c package only (Closes: #792612).
      Release to unstable

-----------------------------------------------------------------------

No new revisions were added by this update.

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