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

[Mehdi Dogguy]

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

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

        at  c7bcf9b   (tag)
   tagging  f422bfbff3cac2c5a34cfee42a56a82236fb8b84 (commit)
  replaces  debian/20161101+silicon+dfsg-6
 tagged by  Mehdi Dogguy
        on  Fri Aug 11 14:32:24 2017 -0400

- Log -----------------------------------------------------------------
frama-c Debian release 20170501+phosphorus+dfsg-1
-----BEGIN PGP SIGNATURE-----

iQIzBAABCAAdFiEEvYOKK6r540CL2WRoM74aCowu2P8FAlmN+DgACgkQM74aCowu
2P9laBAAv2D5cTDWYXuDxagcm8IBR/bXx1f56QEXx3NDwiwKYvifDZxQiTBe+sBg
6JjKVwhxgE4umuSvWgMRKDg85M9XWGCNgxeZHq5WBLDc3uzAF2PuOOSplnlcWYUp
YE9j/7oSOY6r3d0iP+ruhpNiw8jJOvDezAVL7NOUCZI6FlLmkWtaEZj9+sjw/gdt
S7lPRurcwu6pBiHzTwYHptkHa3hzFJbgdmpVgHG3lWOs+mWLi5sOwGx55CPFLqe7
Jtt/Zap1+HGiyPrMbQ1sl9Ha4nib5aSJBjRn1O3Yl8qDwbLPSz6Xp6qG1D1JW0Qd
U4iLwyjIXo39qEujNbUzvykAQQ000jyDCFeMLdGKianoDIvDAqCVsdvhzqAhgkkz
0vfFo2YyRwIjfukXcoyvS9Z4EDzfhE+tmhbVz0mcuNbKnj3Kz7jjH7NLK/d/qJOe
JC8BAo37a6HX9eGTgcFTSijJ6L7EiqGY73mU5agSMrEsUGizNzO0noQlGuSbNtA+
pffQdwaTwxhHFnpnS7giS3PXHvzYJvFpaGiTtXmz3fq3S//LsWtb6rBLOM4pd48h
kAe+pfRjuPanX5n1XvJdWADKdKAv4Op6Exf6yrOwcBjiERwxGgieXwAiImGXHrd0
Z5tCbQ36syeiwj9aoLT6lcGJTqn10MmGvpzjSqldVFWVEdsh7ws=
=yyPL
-----END PGP SIGNATURE-----

Mehdi Dogguy (8):
      New upstream version 20170501+phosphorus+dfsg
      Updated version 20170501+phosphorus+dfsg from 'upstream/20170501+phosphorus+dfsg'
      Update copyright file
      Refresh patches
      New patch to fix more spelling errors
      Add references to upstream bugs for some patches
      Update changelog
      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