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

Format: 3.0 (quilt)
Source: frama-c
Binary: frama-c, frama-c-base
Architecture: any
Version: 20170501+phosphorus+dfsg-2
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.8
Vcs-Browser: https://anonscm.debian.org/git/pkg-ocaml-maint/packages/frama-c.git
Vcs-Git: https://anonscm.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:
 f7ad3fb1a821ed77505bb782500fabd41a1b9bab 7420018 frama-c_20170501+phosphorus+dfsg.orig.tar.gz
 e147b340c331936d70784e677a933a4a08fb18d7 29688 frama-c_20170501+phosphorus+dfsg-2.debian.tar.xz
Checksums-Sha256:
 21eaa52b6163cdae92475d803ae165d4bea231ec9d71a37fcc2981a110453733 7420018 frama-c_20170501+phosphorus+dfsg.orig.tar.gz
 4683d4a3a64527bb79d3e76b0347b576578ce581a2e69d0141e598b3b60b3c3f 29688 frama-c_20170501+phosphorus+dfsg-2.debian.tar.xz
Files:
 3e1e42c81e33712ca09a0fdb29b16db0 7420018 frama-c_20170501+phosphorus+dfsg.orig.tar.gz
 38abb69203867c361f807ed483c0df02 29688 frama-c_20170501+phosphorus+dfsg-2.debian.tar.xz

-----BEGIN PGP SIGNATURE-----

iQJFBAEBCAAvFiEEvYOKK6r540CL2WRoM74aCowu2P8FAlm1KSsRHG1laGRpQGRl
Ymlhbi5vcmcACgkQM74aCowu2P8cTRAAgtDzXm/+RTKnjojmYdeG7juoPuQraWNn
GxAELofya2DN+2T10HDVsfhbThKH8GYLcL+782bW2QUoANjXfjRNn9l1IQJt8Com
x9lUnof9dXDl86rBX6Nurb4sMHZw5O/iQyK82wIYp0RASQJ+9ANviZoDhnxcmK9V
UB1F9qtdg8I0Qn1tcTRrWmVD2PgEfIQxsNawv37DvDUd+b1dkH0wAUlLsY9qYppX
kai+/A2oZdVyCC7F8j8RTR5HfldEYpUv11TZD5mPqaB4egMBk3VRTPFFo6LDoK4+
+uS3cEDzEQEnvMQgAQhxoGwzAuHkmBQPfjGbmWXLb6mDvjINZlihiAxwMxiaMMu2
71Hm7uh+5F20PX3DgE+17tWMN5m2OvZ/wDvLSlWHguov2ASSIoj+1poRDP/Z6rNv
I7erUjnzIYflW3CshJwuH/sxEqtE7Mz8GchjcxWhQp1TwvVNRWTWgarrfygRUbKu
g0jc4lmhrSOf+GWuJkQaPwbllEekXeYR78lfhYHMpxT5ZmdUNxxDZJU7Ffcq1n3j
Z3m11RQOp93W4WCWC3rEgKrDu/2dP1AiyugUM8ux+eQ1HbG0m/XpfjHs3+Dc3fef
pcgb+0C4MPCAiL68ZNyF+tDGdn1PAg7qNGwB68POuevI+KNZ91itDCvVvTJVRgps
Q9vCQtIuweE=
=qVR3
-----END PGP SIGNATURE-----