News for package frama-c

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 3.0 (quilt)
Source: frama-c
Binary: frama-c, frama-c-base
Architecture: any
Version: 20161101+silicon+dfsg-5
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders: Mehdi Dogguy <mehdi@debian.org>
Homepage: http://frama-c.com/
Standards-Version: 3.9.8
Vcs-Browser: https://anonscm.debian.org/git/pkg-ocaml-maint/packages/frama-c.git
Vcs-Git: https://anonscm.debian.org/git/pkg-ocaml-maint/packages/frama-c.git
Build-Depends: debhelper (>= 7.0.50~), ocaml-nox (>= 3.12.0~), ocaml-best-compilers, dh-ocaml (>= 0.9~), graphviz, autoconf, libzarith-ocaml-dev, ocaml-findlib, libfindlib-ocaml-dev, libocamlgraph-viewer-ocaml-dev (>> 1.8.5~), liblablgtk2-gnome-ocaml-dev (>= 2.14.0+dfsg-2~), liblablgtksourceview2-ocaml-dev (>= 2.14.0+dfsg-2~)
Package-List:
 frama-c deb devel optional arch=any
 frama-c-base deb devel optional arch=any
Checksums-Sha1:
 8121546318fea4dc63671d419a3b1f9d1ef7fd4f 6679897 frama-c_20161101+silicon+dfsg.orig.tar.gz
 cbe5a0c5043dce94e8f36dd0ed5412af76f22cc9 26904 frama-c_20161101+silicon+dfsg-5.debian.tar.xz
Checksums-Sha256:
 4a6c53b4d1d5b9825fffece7696a6fa9396508524693a556a662d47d8ef62f19 6679897 frama-c_20161101+silicon+dfsg.orig.tar.gz
 ce26cb525e28f9de9fc47a3654c2b22e7e0d32898dd636c3d5ee7f03a5729ca2 26904 frama-c_20161101+silicon+dfsg-5.debian.tar.xz
Files:
 4ef49bbcdf9c35b5796e7c29383861b2 6679897 frama-c_20161101+silicon+dfsg.orig.tar.gz
 1323da3a0b43454da2c37a46327ab143 26904 frama-c_20161101+silicon+dfsg-5.debian.tar.xz

-----BEGIN PGP SIGNATURE-----

iQJFBAEBCAAvFiEEvYOKK6r540CL2WRoM74aCowu2P8FAlh7Z60RHG1laGRpQGRl
Ymlhbi5vcmcACgkQM74aCowu2P+f0Q//eB4w6PzQlbchLQ2roPjnUaqd81U7d+ka
pIiJSj1uHbfzygAJ/mPsGECiwYDYXGEa9p5empajkaK9o4vl/x6yfOJuuACIiY26
WlZLsnoTLsXn95mdpzGa9uDhzXb0PB6dwO2pwXIxeuVbNlZ0/JcQxKdQwagchjtB
uBGdkfFJiQ0Ixllgqst8O6v5I1aQFyvRECRSu4+SZ25eQU0MQ5GAVfky6JuMVe9T
eLixUyEsLM7YWoGlfSwut8RAbSPh7261k9/Bw+Ot4jl2iPSa7ZYHxpzb+CMlcktB
VTmOKLUdPSiJHpwNSaUCJkk5KaOt+Iy6qF5T0/9SMAG0peZwgmQEC1+g+LrrHHjF
V7/BZcbAQD43fZ4Fk609C6XwTWOuopTVlGKeCRAuNXo998vMXmhqaSLmJJg4faN/
lYwMVMIPGRh+ubxhVMdSFFWRR5mez9Crty4yGy3rKaPZY093STvdnPbOiWAF2Ypn
dGyqK0XiVi2FXeEQ7GJfvlZ+NVGkeC21zM8TW/zTo3AQ7J3s5FcZ5CGeJlfgdUx6
6W5v0VflnlvAe6utcgISWvXYiROTOYNETKEkLLNk4mHV1AFkUXjS8eTk/jVBU7/F
LK8hbb79Yi5cQNHoGq6b9YhOXBO8ft8hSB5yBO6bbDGqNr9w3dcvque+qDUk5X//
9e2iSLqEvT0=
=M4Jv
-----END PGP SIGNATURE-----

<span id="changes">Changes:</span>
frama-c (20161101+silicon+dfsg-5) unstable; urgency=medium

  * Add Breaks/Replaces frama-c-base (<= 20140301+neon+dfsg-3) to
    frama-c (Closes: #851104)

 -- Mehdi Dogguy <mehdi@debian.org>  Sun, 15 Jan 2017 13:00:55 +0100