-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Format: 1.0
Source: frama-c
Binary: frama-c
Architecture: any
Version: 20081201.dfsg-2
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders: Mehdi Dogguy <dogguy@pps.jussieu.fr>
Dm-Upload-Allowed: yes
Homepage: http://frama-c.cea.fr/
Standards-Version: 3.8.1
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), ocaml-nox (>= 3.10), ocaml-best-compilers, dh-ocaml, libocamlgraph-ocaml-dev (>= 1.0-2), liblablgtk2-gnome-ocaml-dev, liblablgtksourceview-ocaml-dev, libjessie-ocaml-dev (>= 2.18.dfsg-4), docbook-xsl, docbook-xml, xsltproc, libxml2-utils, quilt (>= 0.46-7)
Checksums-Sha1: 
 ec70701aac98f390d6f71bf22d901c746348ba7d 1615922 frama-c_20081201.dfsg.orig.tar.gz
 9559554a33bc453e9916bfc1c986f914298ed206 32308 frama-c_20081201.dfsg-2.diff.gz
Checksums-Sha256: 
 2b87e6798afe95777461f3d61dd18666099b563c266c5c470390ead9242ee238 1615922 frama-c_20081201.dfsg.orig.tar.gz
 92681d2e591e43b84e5ecbd219832d3ad82d818ebb1f4c80b20a8b26d414cb7c 32308 frama-c_20081201.dfsg-2.diff.gz
Files: 
 ccb7e4d60a9b0ba15fffab34e91efcf0 1615922 frama-c_20081201.dfsg.orig.tar.gz
 f54011bd0edb16e021c3693c85d827b2 32308 frama-c_20081201.dfsg-2.diff.gz

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

iEYEARECAAYFAkomXwIACgkQhryr/xwAx5BhXwCfQlC+qNWokgPZdaaXbuVcQuht
C/UAoLIWwYJhK4gBZndb1WnEARDZSJ3k
=2hk9
-----END PGP SIGNATURE-----