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

Format: 3.0 (quilt)
Source: frama-c
Binary: frama-c, frama-c-base
Architecture: any
Version: 20100401+boron+dfsg-5
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.0
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.11.1-3~), ocaml-best-compilers, dh-ocaml (>= 0.9~), graphviz, libocamlgraph-viewer-ocaml-dev (>> 1.4~), liblablgtk2-gnome-ocaml-dev (>= 2.14.0+dfsg-2~), liblablgtksourceview2-ocaml-dev (>= 2.14.0+dfsg-2~)
Checksums-Sha1: 
 14586bbeacec11c8d9af612c32896600e30423e0 1739409 frama-c_20100401+boron+dfsg.orig.tar.gz
 7aa8efe9c12b888cbcdd3e0de8edbc08b26ac704 29386 frama-c_20100401+boron+dfsg-5.debian.tar.gz
Checksums-Sha256: 
 d42688a10301cb6c3fca34ce443b489bfbc98ccc16534dd26fd56612dcb29d76 1739409 frama-c_20100401+boron+dfsg.orig.tar.gz
 ce7a8f076694778de1ff48a5729faf92487d5fd9cd2d16cbb94479320ddfe9cd 29386 frama-c_20100401+boron+dfsg-5.debian.tar.gz
Files: 
 1875d23a09662d3f0560f7560de37dfb 1739409 frama-c_20100401+boron+dfsg.orig.tar.gz
 33d0664eec959725561ee2e67221598e 29386 frama-c_20100401+boron+dfsg-5.debian.tar.gz

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

iQIcBAEBCAAGBQJMq11aAAoJEDO+GgqMLtj/1hcQAJKf+dQRGyHBWmS7o+rYKpEM
DejC1tJ7fm3rKH16vdhF3bqQp8ftHnbgjrtL0kZmqdglXyRP8UukWLaFEw/ZOj0r
+mE2EIX9jcFx1VAnVE72C6WaIKFAxrXA9XitJ34baMw6YEJSFIq2IXekz8q/C3U6
jTVNmL87dcvAdx+qLZVLpOfDV1fhxRfcDY8jd+k3ZWWiYp3tpnwtLgBv78EiTaqL
Yl6SSQs9MkS/6LSPAE2qimcqU+N5HtmVm3MQsdVOxLFaihlElJqhvosxwuTucXvQ
2KAOShcFP2VSNVqqSusx/N5+pXaMOpgH3CJn/HUYvrg72QDFZ/AVusPoeCG2p0Gp
/oTjQ0RJ2u7+tPUCAQuCDsLP2F9H4hnIqMqVZpY8ArfSnVund8QZrcGmkaM621HY
pP57DqaZgehBPBcs/YQl4npeCAmWY1HalaLZLmO9Hwg8OGZwW4gS9ra6lDPsXi0l
GVxTHaU/4wTX1Dx/M5EbBfGv2dodbVT29tg5wzSwrgPNedmDvhIsZD84YySsDQIb
3Ao9ylAZTMRTyF4PWR5JsIZrjp6S+KZqgPuLs3+Juyk+9N2W1+Vfng4bHIxJH4co
c/5ihAK2CjmhDprp/ourrO4YrCEgXIRDD1iIJt8HmO3CRIBJqV6q7BNmzsWULmj6
QaHGhMkgOzLn03GBWT7z
=1OGd
-----END PGP SIGNATURE-----