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

Format: 3.0 (quilt)
Source: frama-c
Binary: frama-c, frama-c-base
Architecture: any
Version: 20151002+magnesium+dfsg-1build2
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
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, ocaml-findlib, libfindlib-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:
 b68083d28bb0ffc6c2174e39b628e2aafdbce633 6039523 frama-c_20151002+magnesium+dfsg.orig.tar.gz
 7dae4703085513a6f992d3a8462fd566d9c6a4db 22476 frama-c_20151002+magnesium+dfsg-1build2.debian.tar.xz
Checksums-Sha256:
 53fc3e0da809ab7ae6f5a207c60017297ecc67cacdb5442f4ff0dcd531d8621b 6039523 frama-c_20151002+magnesium+dfsg.orig.tar.gz
 f9b4734ca3ec89836a506a7fd57a76969cf19cabc2be49a5edf2bec196fa0468 22476 frama-c_20151002+magnesium+dfsg-1build2.debian.tar.xz
Files:
 f59bd2b2771ea5075a1e23ad3d415360 6039523 frama-c_20151002+magnesium+dfsg.orig.tar.gz
 7c2340da1181f7dd993eaf2a2af83630 22476 frama-c_20151002+magnesium+dfsg-1build2.debian.tar.xz
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>

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

iQIcBAEBCgAGBQJXgignAAoJEFaNMPMhshM97RsP/3JnOyrmecxDJADkrCvy7qfZ
GVtSWl1qVe84/DlXKUQz5SAeSQvtnp0/TVs5wyDBi99fuvfZ3Sg6Qq7PCNTfJfwh
qYglKRcPfC1iaTAqwXTd+TnA0YZyMISCmpn24W7Hz9RVvltqIjyj8HviHfEdsjzs
UdE3ijvPIxjufRqmj3Wbd6OXEZHPxIX+TMC7cdz9PSanLddT+0UcKYO1x/DEymKP
TNlrDPpRVSkEqNwSGxANrEhZwrhR19vkUW8+TKiqVSDxkwH+BIcXDLwttUM9yVfc
mF41SCF7BY27Wqjas1HqfCRQega5Dy918xp3nmbdhFZb+m1P0o1ZDCgRhap1wRDf
/r5KzfVsDtVv6MBLp9NQoIVjAehFvOHkG0QES1mxqOeUDQ+j4t19X28Vr1FgNOA+
tbfORVvKymQ3qLXjlSL7nxI5P+PhcxDIZYYqZZvuWJICHKasvUOCA8D4/X6BF8d9
+hmdDToYEKPO8TfPBgSOHNxvmFltnh0v1fOfU6LekHUfCIMb43HdVM0Tcf29FUem
UD1857A5cPl7oBRI6/OpNbJ0bjvJHWV5EhaqSz7rDYkWrOjZsFzCvkABx9PpLfL9
kWtsF/dy3b0AADqeVtRX/ywItccFl6MYqYeGFbQ8xyO/Nl721uCViHQl60yA5CSV
bcFxH1wCkDy7Ol1KvI6n
=bijE
-----END PGP SIGNATURE-----