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

Format: 3.0 (quilt)
Source: frama-c
Binary: frama-c, frama-c-base
Architecture: any
Version: 20110201+carbon+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.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.12.0~), 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: 
 e7d5c9f7d28d473824710e1b0e4f0b623ef6c814 2281355 frama-c_20110201+carbon+dfsg.orig.tar.gz
 00d1eeac1fa45afc4b546887962d7325068b7ddd 39681 frama-c_20110201+carbon+dfsg-2build2.debian.tar.gz
Checksums-Sha256: 
 502e82bf33a0050e0e282a448188c64bc458273a2a7655b2509272e33c24dbbf 2281355 frama-c_20110201+carbon+dfsg.orig.tar.gz
 9cb3140779c86576a8dcc737644aefe7aa52987fb286d97cfece48db68bef44a 39681 frama-c_20110201+carbon+dfsg-2build2.debian.tar.gz
Files: 
 4fbb6723b6fa686d504b3f62e1d22ec7 2281355 frama-c_20110201+carbon+dfsg.orig.tar.gz
 2a101dfeafdc5a51e86213a2ad0cdfb8 39681 frama-c_20110201+carbon+dfsg-2build2.debian.tar.gz

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

iQIcBAEBCAAGBQJOfZwKAAoJEONS1cUcUEHUYlIP/A6etRQ7Zh87KQ4R0iZQqQAR
mTQoZ7WIYamkOZSGU9sX1GZJ3jY+R+6L1p3XBXO0b90eSydx6Ltw6IRVoDzXGmYM
BjFYkKWUyCF+Vbz+3KZjqTl2EKpi1qAxyBigTc/WwX5wenDrEo0rRxOG0+UmPofD
tnSl5WSLVAXDdbGwB/lpobv2cqfGJpVukmRwaChFkMHvdoce0oGyRu+b9f3qAFMD
LuQlrYSe9AvsATsh8cVU/r3ETp1jqEId8jYdrgf7/Hs6qQjpovxi+SOHPGmotlHH
7HKhpzrHEAXyJjAJnWO/fEVxwDCyn9qAEBfXX/m4l9FqKyN7d5TdQd/c0V+hwkr1
nkm8l48MZme3yvinhIRTndGP551wt7RkDbiNqZz2TXDowPklkqRs6tMFFUYZsp5+
0O9djK34py+QN7cyym6YYnxTaInb7iiIk8VeagNb4Rh8Yr4RFp7QUxZNhKk3fRnI
acIy9d6FAUgmSIYw0lMvkXISQx7XagLzIdAGuNzSIspU6pQX4K2yFPq4F40u0Ozb
+d/thWwE4HEsaPz4ofU+yqL8fgA6MC/BZMd5y13qnDjqxOUTbEKHKqbnRSVp0/mv
kGnWHB6SMBrvXRzvn03Cx5NoHjZUmw6ODI+7Z/0PezF/Aa6XK1JYtEudwK7K8PXT
Fcl8k0IQLcM14R6vJelc
=rfOG
-----END PGP SIGNATURE-----