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
 tagged by  Mehdi Dogguy
        on  Sun Jan 1 01:03:31 2017 +0100

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

iQIzBAABCAAdFiEEvYOKK6r540CL2WRoM74aCowu2P8FAlhoR1MACgkQM74aCowu
2P8hPw//e4Mdr0VS6AYjKZQkz729pcgABildq8PrYBLC3/ObyWKrz04Ry9qQe6JY
1Y7XrzLfk5E79WRT4AlZ/OcBMhBKAGEFXySmrDmjSnc+O09oEpSpgom4e8N3C4Gh
me+/oStNlTmMqHhFre0TM98RhKTYtjX8sOD8juGO1QOvXQt1v38wlatSZ6aeLrGO
kq38g18pjccdhRfMJX+JlIho/Gck0PtyzCDtTEbsPKLFNThVQmLcg7PSp6cQoHG/
vQjpZBafLUNfX+Au4q652vDEzIkLQQutpdkyeh4P01byFMk+EfFPsDdPK3mP6RZy
S5FJz6SYlbkfBhAetA4RtPCjgiyqfc+klwWyysN/3ySDX0W1gYAwrdURPy0McCL8
3bteoDQ/OnmsU1NxjG/eAkM03q2Mv6JBEug7WX3swa1DM70yZfcnOj5KTtLSEoQd
+QdXk1mok7hPwhvSMSQryJPbmlKHXBGpmj9Sz7Aoy7RfCK1dybQsGh3az4SDyydz
Y3PT3I4r2nzySZLSe7db8yy5pyAClHxPCP1IAxEFDEhtPFdlfkGBl0W7yGMB1+0t
VT3+TwWRChAzPE4tqiBnI05rpDxufQo4slM1Vs7sJttFDUsjbsTkjyLAO4Lwzn7G
f3K30cUdgx9ds0nNsb9vU/xLvYay/WfBfFLNeBXk2WzbSWSaz7A=
=8bSD
-----END PGP SIGNATURE-----

Mehdi Dogguy (9):
      Fix typo in Vcs-Browser field
      Install frama-c-config utility in frama-c-base
      Clean up content of filtered files from debian/gbp.conf
      Avoid double linking of LoopAnalysis.cmo
      ocaml-findlib is not needed for frama-c-base
      Re-enable Impact plugin by dropping --disable-impact
      Drop configure flag --disable-security as it became useless.
      Drop use of --enable-zarith=<path>
      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

_______________________________________________
Pkg-ocaml-maint-commits mailing list
Pkg-ocaml-maint-commits@lists.alioth.debian.org
http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-ocaml-maint-commits

Reply via email to