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

Format: 3.0 (quilt)
Source: frama-c
Binary: frama-c, frama-c-base
Architecture: any
Version: 20150201+sodium+dfsg-2
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.6
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.5~), liblablgtk2-gnome-ocaml-dev (>= 2.14.0+dfsg-2~), liblablgtksourceview2-ocaml-dev (>= 2.14.0+dfsg-2~)
Package-List:
 frama-c deb devel optional arch=any
 frama-c-base deb devel optional arch=any
Checksums-Sha1:
 c6df554a8658a6cebc7d77906066cdf9ffcd1bfd 5879867 frama-c_20150201+sodium+dfsg.orig.tar.gz
 b03c2695dc0bacd853235db90c9b5a6c9b5a8d0f 23432 frama-c_20150201+sodium+dfsg-2.debian.tar.xz
Checksums-Sha256:
 59e800f8d773d3774ea14c1fe650e502212d61621f578e8bf2e8070f1d5bd5f4 5879867 frama-c_20150201+sodium+dfsg.orig.tar.gz
 f2898efc06f4b7e0901fba2ea3db7aef895077d38eefb833c255fce42cf298ea 23432 frama-c_20150201+sodium+dfsg-2.debian.tar.xz
Files:
 32e985f5c84689555b4a31f825506598 5879867 frama-c_20150201+sodium+dfsg.orig.tar.gz
 d938121e6f55844e98f0411967b2f5a3 23432 frama-c_20150201+sodium+dfsg-2.debian.tar.xz

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1

iQIcBAEBCAAGBQJV5f/BAAoJEDO+GgqMLtj/EmYQAM7v50zYfrpGPoJxDp+9JuEx
YIoTheTXNAeblw91a83IQzce8JbZIoRmpNWRVMyxm1/6QZ1eqhPrQDek2sb0FiE8
Ig42+JC3XSTjeYcSQLTwdbj/fejN2T9fF9vGg2ISRf0PNgiUq3z90xbePALWJIpw
vcVv66o8I+cZjb5mfZNjWsksjtkVBfhPaIwTREFEmwtdvojpv1fAlWsWIRGdewll
K2hnnTlxS1iRBbk4PHHUhI+ECoyqaggbj2gHk/URWvYhdQLIRsHPce8GK4eLv70V
8MC+1U1culjXyGoG+9fHq64d90PzlRyPBrENzFqm9LYQN3Iojmv6WKMAH5iM2blz
7UD3cPhm6Ha4678XIY1yy0TWN0++Y71uswRkPs4C6vUUGcuQbsLpP5Ioh/J4vwKx
7vPha/ztqzPSMOnNTCVyLa2Y3PYdHMJON2oFyvGkFTcVps0aM5zxFkcHda9qEmny
GV9JfkTF9MTOEoXgGVd4csvBsqkEwFBV09Y4XOdMLL3KX2ocy3ZDdTO6taPVSl4G
xF1glDaSaXIf9KVhVfjciPzesaWMcFawn+8DFPGL5O8d4evQS8R5QtkR01Vj2jTP
nwqCCziup4GXT4sRdWkBLaQ/yyxczuMuyGRpsIDFtMXv1ZrgL3JYKhskA9BhzsYY
9tbSoP1q+Boaldu9g/mb
=wlAk
-----END PGP SIGNATURE-----