[Pkg-ocaml-maint-commits] [frama-c] annotated tag debian/20161101+silicon+dfsg-6 created (now 08d87db)

[Stéphane Glondu]

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

glondu pushed a change to annotated tag debian/20161101+silicon+dfsg-6
in repository frama-c.

        at  08d87db   (tag)
   tagging  774467b27339d68b1a749c6ef3df1126d287aa2b (commit)
  replaces  debian/20161101+silicon+dfsg-5
 tagged by  Stephane Glondu
        on  Thu Jul 27 20:48:41 2017 +0200

- Log -----------------------------------------------------------------
frama-c Debian release 20161101+silicon+dfsg-6
-----BEGIN PGP SIGNATURE-----

iQIzBAABCgAdFiEEWOsJmcZOiX7olLgDeFPaTUmIGtMFAll6NYkACgkQeFPaTUmI
GtMQaRAAhyiOxGacZjY/zb9VmV9KAK9OLG0ce1BGB3RBYrXqUidqMhz3EIkYACjY
LJWBM2cpRxA8zrl6uGiVoqonVz6OrgubmHFBv6/TyQWKYpZ28+FGf6AcbbN5i0Eb
8Md8aIGSBY0uYuTmwJoOa53qoQU2M6wv9992BldQMDWRCZLGREtqhCyuJZGhyQHO
2JvQ51qpeEi2BTHMTVG7A4L3Jj89nYiINUNqpdZN0l8LRmzY7NcbTzeq5ToryaCi
CeKAs3wxsCdGYJcmGHGW/N+E/CyFylXKSNyXC+kh4/S+WHnVz4w2A8YxE+LJuo5T
s6SVmAgECX11HFgWm18rXdrkEB6ik5hvJ3s8SEdCYdTFhZfnSNhp0uqana2G9flz
UZx3CT+24iAr5OQdWjbQxWqZ8dm4HBbwjKH6EwzTTW1VciillyVOMDcJPCuCOK+G
t5b0nrjWwiSpp7RpvtH5MP8Q/o5F5E0HGcwogfiSU7xePyNVkV6XH6/lRILz4L43
24Rsv41p0EwxymhnMiJg9+DIjoIsnTZ3hHEl65AsYIlU5DVBHdbgITSILvJl+PtO
cMDSA0lQ2zp2E4/AI1vFOuNFFVKM+mKNpTfsAvdpHozm3AOP9Xa8HRGfCZL7kUAq
RyRrRy5rTxLAqZvX2soYpj6rPs91kEigMNlnJSMLyQoQdnZ38/E=
=AJw7
-----END PGP SIGNATURE-----

Stephane Glondu (3):
      Refresh patches
      Fix FTBFS with OCaml 4.05.0
      Update changelog and prepare upload 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