-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 3.0 (quilt) Source: frama-c Binary: frama-c, frama-c-base Architecture: any Version: 20130601+fluorine3+dfsg-2build1 Maintainer: Debian OCaml Maintainers Uploaders: Mehdi Dogguy 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 c87720c6875ee37350b647f39e438b020069ebb2 25790 frama-c_20130601+fluorine3+dfsg-2build1.debian.tar.gz Checksums-Sha256: 69118f631055f86ca299b00255eb3e74cfff69da6317347fafd62a32cae44e38 2640053 frama-c_20130601+fluorine3+dfsg.orig.tar.gz dbde6b2ffccde244084dfcb979ec3ede2935f14d16c7029e592a517151f5ae9a 25790 frama-c_20130601+fluorine3+dfsg-2build1.debian.tar.gz Files: 0effe1e72944ef0a057ccf4063b191d0 2640053 frama-c_20130601+fluorine3+dfsg.orig.tar.gz 6cd381cdcf3a3c78426d6639ff652c15 25790 frama-c_20130601+fluorine3+dfsg-2build1.debian.tar.gz -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.15 (GNU/Linux) iEYEARECAAYFAlK4s1EACgkQStlRaw+TLJxX3ACdH75rtCmBIqIxhxNFjZAmBoqz PzQAnRL9jToJNnR3rkYdLoUOfc4KBOXd =0LQh -----END PGP SIGNATURE-----