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

Format: 3.0 (quilt)
Source: frama-c
Binary: frama-c, frama-c-base
Architecture: any
Version: 20170501+phosphorus+dfsg-2build1
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:
 f7ad3fb1a821ed77505bb782500fabd41a1b9bab 7420018 frama-c_20170501+phosphorus+dfsg.orig.tar.gz
 6532c86630c50ebd8d2ce3c6a4f4a574c414612c 29748 frama-c_20170501+phosphorus+dfsg-2build1.debian.tar.xz
Checksums-Sha256:
 21eaa52b6163cdae92475d803ae165d4bea231ec9d71a37fcc2981a110453733 7420018 frama-c_20170501+phosphorus+dfsg.orig.tar.gz
 e03328d07ad09de4d5cfc523679bcda9db44b5c32f46ffc4015b2e1071c4cf2e 29748 frama-c_20170501+phosphorus+dfsg-2build1.debian.tar.xz
Files:
 3e1e42c81e33712ca09a0fdb29b16db0 7420018 frama-c_20170501+phosphorus+dfsg.orig.tar.gz
 a3d93f717dcf74008c8b49fe467ec99c 29748 frama-c_20170501+phosphorus+dfsg-2build1.debian.tar.xz

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

iQIcBAEBCAAGBQJZ9JaVAAoJEPNPCXROn13Z9e4P/2za9umhSWs6SQEf0F+nZZOy
XS7R43YZHLvdvtgl1aGYQ9ibzd8EBGxzVvhmB1LRGlUjnPeLwH5SQworIzh7i3AM
ph5KYKkxLQsM6r5k/IdrIdEHRvmaS16vqXjeSwRBxecVcxnb4oBw4KDW6n3EX2Vi
rqtFQa4+7NLKCpKBuxPRfNX4BkGd+Nbsx0wkqfXlYDZSlAMtYYsqXf6lDZjMrOLn
2rJ7zkCYsz4NBLeomQnKL5rSAAktkH4rNkpgcSiMAzu4RRZAGIDfAVUkLUqajPR6
tX3gdTGK/c6BNcIMjA8+jBL1qHhTVjineMzjPlsxeIQLcJ66nVow8/n0Yxpncohp
d/YRTRd4MYAzmF1VVFf8vvgVdk2/9OBGffCKexzh5OMuXL0XSPenvX7Y31kf5mZp
ecbpie9IAv1NqfxHVcUGxTxILGRx+VlhHYO0vJFQfd53PuD/s96BgFqOqd8lPgG1
qB05JydSZhnfuUcVFlNor5slVt01i7pMBVAj4QkLNxarIUI0Fg8ejlORdylfon+7
X1PUhuAXNnnKJYOHxNBHCPBwO2jQTo0DRBGfPewYwdXoVugFC8DZqKcN8uZ49mVD
xn/5oSTy+pY/b8ep23lhIhciXAF7ZtgPtlcRBei8mY47AloNCHvNBKqNbzjcEYIC
hP+ARCA/YiXcP8+Xfb1Z
=QNWd
-----END PGP SIGNATURE-----