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

Format: 3.0 (quilt)
Source: frama-c
Binary: frama-c, frama-c-base
Architecture: any
Version: 20171101+sulfur+dfsg-1
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-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:
 3ba8b7bf7961bd48c19895663392ebff37cde069 7121720 frama-c_20171101+sulfur+dfsg.orig.tar.gz
 577606b7ee5d011d0c63768296c8d5f127615796 23880 frama-c_20171101+sulfur+dfsg-1.debian.tar.xz
Checksums-Sha256:
 8535fc12dbef6d92e843bd4cab715f8fa9b423546db992a182e0be7970b57b04 7121720 frama-c_20171101+sulfur+dfsg.orig.tar.gz
 dbe7886962b132c0f74c927b4bc6b4881ea0efad1a9a3070e1bbf73ae4831ff0 23880 frama-c_20171101+sulfur+dfsg-1.debian.tar.xz
Files:
 38d0f2a2a25810466937f30320bf1a5d 7121720 frama-c_20171101+sulfur+dfsg.orig.tar.gz
 821ad3750788a6fc7012282a798495b3 23880 frama-c_20171101+sulfur+dfsg-1.debian.tar.xz

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

iQJFBAEBCAAvFiEE/IeFmw45V03XKU7GPfRgADmhQMQFAlr104sRHG1laGRpQGRl
Ymlhbi5vcmcACgkQPfRgADmhQMQIDhAAukVRL6HQFa2P+the7zsRNru1H3BaDxA2
qZR2qn6EHjskyA7kOEVfr3diVQMd521ACeCQ6iE3ZFZ4hxyFjk/IUiUIFQtmvobR
/3e8Bsz+qi3KC3rKIEbr8bV4rs4xyD4u4NZHsR5a8RHIV9CV1qVByHVgcscgovyr
ILyoFlnmdKnLTqWX77s8EKeTEcoeNvgTlXuhQxXfzViqgowLCftiyQcneynVCmDm
r9N6N6qI0ZGTOk50er632MoMwNW1ytGdCm3+p+/jFfKAbZS9loclSaDmLEUlTcCf
/7+T2dOM5QqFoqk/b59mAI/NMyTrI0DnKxn21R38yxnr9tuCL06wLUYlNTyDkxfC
e2QM+PN82LRn/CIijlTW4fdr+NmDV0zymuz7G/4xWNc56oEeqIkN/Ely4j9sRjxd
QSlxl2vfJ3nEnAkqRNHNa6jWv6Z+0YLZYQi4OhWS7s0AvVibc0XFEEgrH6IQOhVq
p0OIDC/QOZ7xaol7iB3EavQC4y1PTVXrIeS6jQaVHl7v+dTlgfoHYq3egUphOL16
72eQiB4JRHmzqpI9EAzgjTJ7Jnbs9qcfnFmEkwMJYWpAfnEiBhhK3M2xYb1CFIB9
jjooNveMoOlUPki5JG+XT/R55Gf7YCQGaRCxL3yxhuP4lKdlGihfXCAqWgn37MAc
8K1gJEPOrLM=
=3Ex/
-----END PGP SIGNATURE-----