-----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 Uploaders: Mehdi Dogguy 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-----