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

Format: 1.0
Source: frama-c
Binary: frama-c, frama-c-base
Architecture: any
Version: 20090902+beryllium+dfsg-4
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders: Mehdi Dogguy <mehdi@debian.org>
Homepage: http://frama-c.cea.fr/
Standards-Version: 3.8.3
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), ocaml-best-compilers, dh-ocaml (>= 0.9), graphviz, libocamlgraph-ocaml-dev (>> 1.3+debian), liblablgtk2-gnome-ocaml-dev (>= 2.14.0+dfsg-2), liblablgtksourceview2-ocaml-dev (>= 2.14.0+dfsg-2), quilt (>= 0.46-7)
Checksums-Sha1: 
 4f12d2d6b1c24e4077758707aba14c64858a482e 1581288 frama-c_20090902+beryllium+dfsg.orig.tar.gz
 448604a8ad4712f6542b663fbbd7a91adac88106 24152 frama-c_20090902+beryllium+dfsg-4.diff.gz
Checksums-Sha256: 
 9f387d3323e70cbce98192f11c0340d46cde49545cbe82e9f50b80c4da45ac4c 1581288 frama-c_20090902+beryllium+dfsg.orig.tar.gz
 3bd733e5caa22b3df3028c4bafff016b506a7580ea8b794ad653cc10217a1760 24152 frama-c_20090902+beryllium+dfsg-4.diff.gz
Files: 
 d947a9dec0b1fb06a171da7bc2bd1eb4 1581288 frama-c_20090902+beryllium+dfsg.orig.tar.gz
 f1ae5a47a61b9e6381af68d99a5f7d49 24152 frama-c_20090902+beryllium+dfsg-4.diff.gz

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

iQIcBAEBCAAGBQJLdIsGAAoJEDO+GgqMLtj/ms8P/2ozX+vzUcb9sZBvASboRRwR
etD1fNK+zZPmlfzBIOzNO/LU31fNV12dhdKBQUzmSRlCikuvYSY5LdIKZac4Ck76
1qIMzB5URQVymPa2kW6vUuqrUilkGwZxPdS19C8rW0VjEgGD5dEFz59XLktbPqPz
qrsiLIKyyXWGiaVtS4LC1R+uIv7jn+jR6gQLapuIEEMT9u3U03Y+xDOEWgh1XiyY
HAn4jFhNQH30/lc4nzfjiN/sd695QD56+6eh7eLAUzbwEePCqdKJDkkc0AG0Rj4j
Buqufgr+gWK2X0LKPpNlxEP4yj3+qZJ01nq8M2IH1b1cBpK8kRtR9xC4J7Sss2Oy
co4lkfneb8mtM53ahHiwxXLKGGr7DJ5dsESzqJOPiPEk/Wgfx147tSjkr/BlGaj2
1nfVApFwLUYr10T8pdgJA3doM5wokQfeF338YwZ2KQy0dakiGWR0vLzBTMJ1eY3d
bPPryA4EjXWXhXOT/ZarNrmoYgY/wEsxNMVxWmzGkNZXi/bMINw1K0+UO1kVz86f
kFApY43UPxzxSiK1vBJNz8Ra8O3ziJNNLMcylE5R9vRZOhAsuClwYn/B5wV8K03D
bn5rBypj/EsXJ+OcSkTutfOCPM6rCtBlp94i9YuZvJcdahdLOIWLn5VaNEJGgL/M
IdO4kMqyFmHuR5SIlWAQ
=2e0k
-----END PGP SIGNATURE-----