-----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 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 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-----