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

Format: 3.0 (quilt)
Source: frama-c
Binary: frama-c, frama-c-base
Architecture: any
Version: 20151002+magnesium+dfsg-1b1
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, 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
 5519c5497ae26518ee488bfb46b779ea22b230cd 22332 frama-c_20151002+magnesium+dfsg-1b1.debian.tar.xz
Checksums-Sha256:
 53fc3e0da809ab7ae6f5a207c60017297ecc67cacdb5442f4ff0dcd531d8621b 6039523 frama-c_20151002+magnesium+dfsg.orig.tar.gz
 d6f5041dfe9e0bdb131aaa3c8bd74d728d9bdc659ae9e2e5a30f6777c4d3e09f 22332 frama-c_20151002+magnesium+dfsg-1b1.debian.tar.xz
Files:
 f59bd2b2771ea5075a1e23ad3d415360 6039523 frama-c_20151002+magnesium+dfsg.orig.tar.gz
 2ca29af1ad4b25f910d2ee6b85a9e521 22332 frama-c_20151002+magnesium+dfsg-1b1.debian.tar.xz

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v2

iQIcBAEBCAAGBQJXbT3ZAAoJEKBN28suwKn/VhsP/Ai8nHb8Aiuiaa1xnsBCRaTf
gZF2JgSxP9gAsZ3zLKyqBFuZISxfkacHplJJOlWnK5Nc5TzhAwVf0b5MPSdZ+WAM
qfvpLdxg11E41MoGQBPuqPxXXkVHy7FVf1vHkbnzsBu8r0t53ziDc2OXJ1WGH4GC
xpPmZOxVpKBHA2w5ZqLoVSl5Vmsig2TfFrp/0pOJPG0vp7lfNLnSZBXOoCicWw7F
8q5fqXsvOLib2sGPffVU0rorWngjB/qE46rnlT2ckFM4JZdUYxLupOqvDw4UGUh6
9+E+T82JgS2ueHPOO62eggbN5I5dZ4Ngwi97QLJ82gPMAq9TvTZFFZbg326B9DtS
L1kIMxxkq0y4YuR1UVb6y6rA+IG2Hbcqu9hlC3ODjEjfjYzFgDaS6d7weMegHUJX
iHGzsEf0//lVXncqzSw88Tr2mEbHK0zHiNC0L1pnvsRFdOM7f9mEG6M0AYVp9lDc
u3dw+sIC6bBjYYXn55qsz9U686WleKJeB3RI7WbTjamVL7UUsM4nVZJmni27Iz8T
x0fChoGpfHUp9FeuSVrIgTk/VGSte7oyXfLgrmDhjHmMkzzPwTMRGkthA72d5Khi
gv3N74qATDZhAnJcd6Jtu2TAPWmu7cpsEFEBHkFBmj1+7CCAfJKqY9JjUmdmCKyR
dPRx0eNQQPgZj8LlF4mz
=78Gy
-----END PGP SIGNATURE-----