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 _______________________________________________ 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