News for package frama-c

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 3.0 (quilt)
Source: frama-c
Binary: frama-c-base
Architecture: any
Version: 20171101+sulfur+dfsg-2
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://salsa.debian.org/ocaml-team/frama-c
Vcs-Git: https://salsa.debian.org/ocaml-team/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-ocaml-dev (>> 1.8.5~)
Package-List:
 frama-c-base deb devel optional arch=any
Checksums-Sha1:
 3ba8b7bf7961bd48c19895663392ebff37cde069 7121720 frama-c_20171101+sulfur+dfsg.orig.tar.gz
 61df4f8ca0e81f092970b4e3fef31e7add2ceb83 23364 frama-c_20171101+sulfur+dfsg-2.debian.tar.xz
Checksums-Sha256:
 8535fc12dbef6d92e843bd4cab715f8fa9b423546db992a182e0be7970b57b04 7121720 frama-c_20171101+sulfur+dfsg.orig.tar.gz
 98cb5671c9876d8294de772b68f75bda5673c3d86217759dd2b04ab893994b03 23364 frama-c_20171101+sulfur+dfsg-2.debian.tar.xz
Files:
 38d0f2a2a25810466937f30320bf1a5d 7121720 frama-c_20171101+sulfur+dfsg.orig.tar.gz
 17edfcf413f817c703503d99a57be3a6 23364 frama-c_20171101+sulfur+dfsg-2.debian.tar.xz

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

iQEzBAEBCgAdFiEEbeJOl+yohsxW5iUOIbju8bGJMIEFAlvpaPQACgkQIbju8bGJ
MIH75gf/Sqys1xQlXJuUOWHTJ0QImfmbky7nVdx+qJlsZByVge2xvMcIa0EDA0v6
GDpqpdumZwRLy4aJe4QG/2BV9ibPPKnx/wdDfOluITtjFNLWh7Vkn9t3vngfyt8/
ZoFcmaTDZOdY1jlDPSu/bMw3Q4V6g45BhpUaX3uimFIGYlKWaYIeFO43eJ4Jp18q
i838U/Q9E+VF1VgRTcOcpJXvyDVGNlIjTSPe+twPQ6XUnZnmzfPzanXVvigjuOZU
1x9f4Iu9EI+LmTra+P/13kwt2LHK8DH2pY2gLXkqfQ4AnGR6BXI/Mz46iMrMA/5V
Va2ujz2mKDtkPVCPmFqRNSCLF4Zl6g==
=keal
-----END PGP SIGNATURE-----