-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 3.0 (quilt) Source: frama-c Binary: frama-c-base Architecture: any Version: 20171101+sulfur+dfsg-2 Maintainer: Debian OCaml Maintainers Uploaders: Mehdi Dogguy Homepage: http://frama-c.com/ Standards-Version: 3.9.8 Vcs-Browser: https://salsa.debian.org/ocaml-team/frama-c Vcs-Git: https://salsa.debian.org/ocaml-team/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-ocaml-dev (>> 1.8.5~) Package-List: frama-c-base deb devel optional arch=any Checksums-Sha1: 3ba8b7bf7961bd48c19895663392ebff37cde069 7121720 frama-c_20171101+sulfur+dfsg.orig.tar.gz 61df4f8ca0e81f092970b4e3fef31e7add2ceb83 23364 frama-c_20171101+sulfur+dfsg-2.debian.tar.xz Checksums-Sha256: 8535fc12dbef6d92e843bd4cab715f8fa9b423546db992a182e0be7970b57b04 7121720 frama-c_20171101+sulfur+dfsg.orig.tar.gz 98cb5671c9876d8294de772b68f75bda5673c3d86217759dd2b04ab893994b03 23364 frama-c_20171101+sulfur+dfsg-2.debian.tar.xz Files: 38d0f2a2a25810466937f30320bf1a5d 7121720 frama-c_20171101+sulfur+dfsg.orig.tar.gz 17edfcf413f817c703503d99a57be3a6 23364 frama-c_20171101+sulfur+dfsg-2.debian.tar.xz -----BEGIN PGP SIGNATURE----- iQEzBAEBCgAdFiEEbeJOl+yohsxW5iUOIbju8bGJMIEFAlvpaPQACgkQIbju8bGJ MIH75gf/Sqys1xQlXJuUOWHTJ0QImfmbky7nVdx+qJlsZByVge2xvMcIa0EDA0v6 GDpqpdumZwRLy4aJe4QG/2BV9ibPPKnx/wdDfOluITtjFNLWh7Vkn9t3vngfyt8/ ZoFcmaTDZOdY1jlDPSu/bMw3Q4V6g45BhpUaX3uimFIGYlKWaYIeFO43eJ4Jp18q i838U/Q9E+VF1VgRTcOcpJXvyDVGNlIjTSPe+twPQ6XUnZnmzfPzanXVvigjuOZU 1x9f4Iu9EI+LmTra+P/13kwt2LHK8DH2pY2gLXkqfQ4AnGR6BXI/Mz46iMrMA/5V Va2ujz2mKDtkPVCPmFqRNSCLF4Zl6g== =keal -----END PGP SIGNATURE-----