[Pkg-ocaml-maint-commits] [frama-c] annotated tag debian/20161101+silicon+dfsg-2 created (now 5ed4cd7)

[Mehdi Dogguy]

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

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

        at  5ed4cd7   (tag)
   tagging  d7bd0eab91967bd018101892895fba3c801fbebd (commit)
  replaces  debian/20161101+silicon+dfsg-1
 tagged by  Mehdi Dogguy
        on  Wed Dec 21 14:18:43 2016 +0100

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

iQIzBAABCAAdFiEEvYOKK6r540CL2WRoM74aCowu2P8FAlhagTMACgkQM74aCowu
2P8D/hAAy2Cynv0T33qMwqAmHgfo0rLdd/Aqi10/0yo0uyNlqnycNrPhS2/KnbM4
y50PuzgDmOq6rsznkVG48D2EJJP95NwJbAQbV3iJbwQMj/kOqmJC2J4qB5cPaBnT
rrqOd0jDy1ICpKzO5B8oPsMp9C8BCxZ6L58ryZcaBTwukdmvwMFDSVbgdFAAjOzI
GjWFYQkRtfrxJvrx3f8uwv5YvTwMhVXnognVEo4di0gt6S/kpY+dD231rxXBY1t/
twAiV+ex9JNwCnQ8UejwVrSo4geoi6rLZhSsFtmeCQPMdvFi2a3kpor8PStlzTAv
jxi2w5IKtuZ20Z8i6Dm+6zWkkGuiNB3qfaiS4BIPdpIVTKr2D0MT+rYYHqiv4LOg
l5ue253EP5XrOfGusc1Z+8uEmafmMzuSxe1A6TtO9z7CcyisJVqVi+/co309CYTZ
fr5IQlGs33yKEif82YIrdvN+XD7V2b53SWVNt0sm77KCL0CLxyJeMvTA2aKlQkgv
rNEt9AmYgdZ74tAoMot+Wugv4RZsDVObbeaSe0agWBfTQpahX3N+sN9RZNhmEA7L
DYCKLqV/watCW+u5mpmNwCC6rdSw/xPoCEtf3NM3UT86HOTsocrh9nEUD2mkWAE/
SQhF5XmrrnIFnTOFUaTPhe3RbU7C0G0zGasg++L8Gf9YaSt36p8=
=aj94
-----END PGP SIGNATURE-----

Mehdi Dogguy (4):
      Disable apron
      Add ocaml-findlib as a dependency for frama-c-base
      Fix build on bytecode architectures
      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