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

Format: 3.0 (quilt)
Source: frama-c
Binary: frama-c-base
Architecture: any
Version: 20171101+sulfur+dfsg-2build2
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
 8164c909cda22abbe896b031ae1c8797f7a71035 23520 frama-c_20171101+sulfur+dfsg-2build2.debian.tar.xz
Checksums-Sha256:
 8535fc12dbef6d92e843bd4cab715f8fa9b423546db992a182e0be7970b57b04 7121720 frama-c_20171101+sulfur+dfsg.orig.tar.gz
 b361e03199bab253ae07460aa94f1afdea9ac457ef330fab3c16a6535caee288 23520 frama-c_20171101+sulfur+dfsg-2build2.debian.tar.xz
Files:
 38d0f2a2a25810466937f30320bf1a5d 7121720 frama-c_20171101+sulfur+dfsg.orig.tar.gz
 f0723757f774ca8d73e26158d1d9d928 23520 frama-c_20171101+sulfur+dfsg-2build2.debian.tar.xz

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

iQJEBAEBCAAuFiEE1WVxuIqLuvFAv2PWvX6qYHePpvUFAl1w7wAQHGRva29AdWJ1
bnR1LmNvbQAKCRC9fqpgd4+m9U8ZD/wItMdrtltgHkYd/UG0MLPj82eazSziDDpS
Cy/K9rQ51bbNbSSirBW6UBn3CRvCAOW3KAX3OYVo2U8WbSp1T3pIGhsrJF31xeDY
leIdTAsqccFLX4anjikHGW38rqv4+pZMwzk99/0eKpNb9c0GICE5GlBqVhIUy0mC
2uOAfqhsFJ4gCWxzQSOXcQjXido4Fjeo9e4U+8UQRo7a980QfCGeupNNQd/QRJfa
sDKTL3yOiQX74p6MgG5JoysUM/k41OhZ83t0HSZd8HoihL/QhmWwKQkdRLjGtqTN
NQcfapYqIszdnxaZv4ZasAD6WMgU8PDSkFXP0bKGMvRzHX04ugdp6AuRfIieITHh
4SFEyWTKqFsMfE/3087rURrMujlticWtEdGs6McsbITzgZhjGBsExEUY1WYEDXGE
W1RjDEKWT0v40kPsUZPgA6UMvnP8D5SpQd6IGbwYBPFlGA6rDnB1AUQfmM6st3z1
RamJlz7YtdyTo03G5kcB5z1g83YZj9gV4l5zDPSWeEGhsbIXSQYj0Ib7CgFu5pdm
3pyEfihxCGF4oWzkL30dX3yM7n4Eb4jxM66+JI6gyC/31CGDgjEC0bab4tlnVqLo
8DER+578NCVEXLrWG4bynGpTv/0GrAvHV5asWzaE5txzzqhPyIYxbcoMPicSru/2
oacbpyRi7Q==
=GpEu
-----END PGP SIGNATURE-----