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

Format: 3.0 (quilt)
Source: frama-c
Binary: frama-c, frama-c-base
Architecture: any
Version: 20151002+magnesium+dfsg-1build1
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.6
Vcs-Browser: http://git.debian.org/?p=pkg-ocaml-maint/packages/frama-c.git
Vcs-Git: git://git.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:
 b68083d28bb0ffc6c2174e39b628e2aafdbce633 6039523 frama-c_20151002+magnesium+dfsg.orig.tar.gz
 ce2c4e2b72fb669f75027e409c12794855071075 22268 frama-c_20151002+magnesium+dfsg-1build1.debian.tar.xz
Checksums-Sha256:
 53fc3e0da809ab7ae6f5a207c60017297ecc67cacdb5442f4ff0dcd531d8621b 6039523 frama-c_20151002+magnesium+dfsg.orig.tar.gz
 dd3dd22fae2e6fdddc9a0292bd1c1dd6cdf19a4bd0e29bf5c37bdefad52b451d 22268 frama-c_20151002+magnesium+dfsg-1build1.debian.tar.xz
Files:
 f59bd2b2771ea5075a1e23ad3d415360 6039523 frama-c_20151002+magnesium+dfsg.orig.tar.gz
 fe05ea31a0d7e8a63e04fd1bd89529a8 22268 frama-c_20151002+magnesium+dfsg-1build1.debian.tar.xz

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1

iQIcBAEBCAAGBQJWsy/5AAoJEL1+qmB3j6b1vMYQANvYiF23hV0spURsYWF+V2qr
51JpkawBUG9NVxbUsL9lTDGTW3ps6aKk1amHmrSmvDzDOrRul4f7slileC3rYc10
VbpjKmz0HWie7CLqZsnRbjJ38qvZGE3hpUrMmfRb8Xrn0pkCExQpDiUPf/jWXW84
luZYdRvy5SRvI0Sqy3gt7jE6CGnhTFdYNSH+MeuNxrIsc33HEO3sc2iaDj2Mk/nW
FW/yhw36PcBNf5ZQe2Vs4dcnzGWun+R1mq4mkuDQeL1ljGLz9WKewLKILGfU3O4Y
Z4Z6a42NlAoSNVYR0SqWwJyPmAd7nXLzhcnhXQym2MtPXHxG0E0mAjUeIpEFqBUi
z2LHureFkKDQEg6rYEaVCpLfoyGOi47Fj9Aj0VkqYpp537zoL/cUPOP/RURAA5mK
gEEAIh2Z9f8A+JYFJm/qUvUyvwAPvI41OZFAG+QgLmW/YGMcCGvyLYNn6M56MLOg
Mne13Gh1f6DI3fwwYE4zTJlF8Igssn0l7+Rkda1296glDtVXV+H4j/Vk2e2vRRR1
ve17Ngi+n451xHDURAhRF16wASpscFdqAB+8PIVI+yZoKwb6Q3TkM93lTxvp6SfF
qAzJsyszQGu0o9W4x+NXg/DjbWrQr0ntzp7U8Rz+JqOLJLXKnZ4igedD1B/lkE8w
l6zAgVYG0idwfQaYWNzG
=vY6X
-----END PGP SIGNATURE-----