[Pkg-ocaml-maint-commits] [frama-c] annotated tag debian/20161101+silicon+dfsg-3 created (now 77bffd6)
Mehdi Dogguy
mehdi at moszumanska.debian.org
Sun Jan 1 00:07:13 UTC 2017
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
More information about the Pkg-ocaml-maint-commits
mailing list