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

Format: 3.0 (quilt)
Source: frama-c
Binary: frama-c, frama-c-base
Architecture: any
Version: 20140301+neon+dfsg-3
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.2
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, 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: 
 a46275e19728887bd1295c209448f29942b14b34 2830503 frama-c_20140301+neon+dfsg.orig.tar.gz
 e77206008d6cd93382129173a107cb983bd74820 23800 frama-c_20140301+neon+dfsg-3.debian.tar.xz
Checksums-Sha256: 
 464bb40ccec8eff4056d4f522aed9fd46cd02fd50fd1021cc9c4ea514b3c7361 2830503 frama-c_20140301+neon+dfsg.orig.tar.gz
 d387897ba30356b4f829371336fb34f055e3406594196019d82860a3592304a2 23800 frama-c_20140301+neon+dfsg-3.debian.tar.xz
Files: 
 5186fb142b9d8e614cc2e83621227b39 2830503 frama-c_20140301+neon+dfsg.orig.tar.gz
 ebd0f8e25d55d427aaccdb62a68720d9 23800 frama-c_20140301+neon+dfsg-3.debian.tar.xz

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.12 (GNU/Linux)

iQIcBAEBCAAGBQJTX+NHAAoJEDO+GgqMLtj/mmgQAKRfBSVeHI2hbUB3V2LE+H84
7wgRfU/QcL7YMiNP+HBim8ZsS3CFZRz1fbrG8SHnvy75rrluJuW6W78SfbiTjJ3A
WSgqSoR5rwVwOmnMMWzrwypnTCLD98zgg9W+i1rHvqD/zEyogUkNjYSd1w/n7Lb/
rqNxXix3OOrukHn4+wjvnJuhCY+oiYFLUHso6WsvtaYcguHzUA+nFwyUzpkZoU1B
TcnZvUm+h8fN9HTr7vADO/lQGjFC+oeuYtgGRZNDE2oDz+E6xMU2ww7kaKpWqbRM
8AaRzrsdkVBdjv+cHp8VbXP+vtQKsqYcSccVDuSck0bliqf4bv5DtAEv0Zb/LY7a
a5eQfIFjNe4L6OX/CqzvaQmuu9RX/DnoHbH1wMes8/8k8ySyY/ox/My9LVYHPhhK
ItiOPusop/Wj+jHK1gwp71noQWxaYyY8lU/zwcChfwi98g+cvsuaRpcEqrwjGNZJ
QYcU1R2/zK18dV1Zo9xQaL79SLEgmvF6ZRTLpiLGhyUPv0WlEhNkYvIKpHBXQddk
f6k9RCRMEbsvTWvDjMWtYDjr467IambL4O8lRNGsVRAq61qzKgXUC5IW2IkrdqLE
/lvUH1Um90TIiyT7acvC2aCRrhhrYx0MJOun3coZWRI7lIrhyfPZ6+1okN1EMS74
J426BBGhnxvXspwoDJiL
=mVO/
-----END PGP SIGNATURE-----