-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 3.0 (quilt)
Source: frama-c
Binary: frama-c, frama-c-base
Architecture: any
Version: 20130601+fluorine3+dfsg-2b1
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.3~), liblablgtk2-gnome-ocaml-dev (>= 2.14.0+dfsg-2~), liblablgtksourceview2-ocaml-dev (>= 2.14.0+dfsg-2~)
Package-List: 
 frama-c deb devel optional
 frama-c-base deb devel optional
Checksums-Sha1: 
 5abd6f1d8e2e0869fa2b9912fb4340e379bca00a 2640053 frama-c_20130601+fluorine3+dfsg.orig.tar.gz
 bd6868e093c501f9c72ef32991b1028e673260d0 25881 frama-c_20130601+fluorine3+dfsg-2b1.debian.tar.gz
Checksums-Sha256: 
 69118f631055f86ca299b00255eb3e74cfff69da6317347fafd62a32cae44e38 2640053 frama-c_20130601+fluorine3+dfsg.orig.tar.gz
 bf3547db79d091dfe9c211273da3630e9404af88a725b3d59fb47889896080d6 25881 frama-c_20130601+fluorine3+dfsg-2b1.debian.tar.gz
Files: 
 0effe1e72944ef0a057ccf4063b191d0 2640053 frama-c_20130601+fluorine3+dfsg.orig.tar.gz
 4861a5d7086d55255369978881132c83 25881 frama-c_20130601+fluorine3+dfsg-2b1.debian.tar.gz

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

iQIcBAEBCgAGBQJS8qALAAoJEIxPDyvAFXjJg7wQAJ4k8R5Nparv3A5hflm+Wvvr
l5RikwapKw9Wpbkry20/mWqsBEOYyTBgfOYVhrKL+yw9oeXXgMZDQ0o0pxiqdQb1
xBrr5+Du/Qsa8FUCK3vpoCZ7wVsCftlQE9CpHtkQhHXDTxSjHD+/R9gflaucZiQV
CuJGnMMhm0RjAkawOMTfcKUNsAKB+Z0izlT1RJIvsfkqR5NDn+3mIJTITGCMKtfI
HsJrr6hm0u/yJJQ7pqVr8V/Wsx/1dqALgicVsvvMC/ei/z/8nvIMDWNb3eVKQUT/
UtvbM/Z6jMqLn4NoE+24cR2sxHEg0phXlDvcwng0j6ntAA+SUImIxPDQWRXsdujV
ui17m4VrfExaq3UT7jzheUpXbNQfTozlX9zwfx3+y+DsLViNiEkU/rcep5tA1jrB
GlS3rkYHv2+1/eugWv1pNQuTKdekL+8pmoe45j3RJ+Qm3zIAZrH7Sg8YLuS8Oxj+
z4qNMFg56bD4KDw7r43mn8Yi9e6zc2Uoz7dj2u8zXeVnBdPVoKTitFeKe4fwRvxI
qtYcx/yGhaBI49017fkQglxqyomZ2ju/wXxebgXufvm0aQqFCD2CE5n4Y6vyonsO
MP1MBGZzCF0aeNstpC0sN9UxIRlrne2GYRlI0MfVNJ+l5Wnt9oGgEJO5pnYwusFW
fCTBr+7OxI6mYLdNM0cC
=rBTY
-----END PGP SIGNATURE-----