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

Format: 3.0 (quilt)
Source: frama-c
Binary: frama-c-base
Architecture: any
Version: 20211203-chromium-1
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders: Mehdi Dogguy <mehdi@debian.org>, Ralf Treinen <treinen@debian.org>
Homepage: https://frama-c.com
Standards-Version: 4.6.0
Vcs-Browser: https://salsa.debian.org/ocaml-team/frama-c
Vcs-Git: https://salsa.debian.org/ocaml-team/frama-c.git
Testsuite: autopkgtest
Testsuite-Triggers: alt-ergo, libwhy3-ocaml-dev, why3
Build-Depends: debhelper-compat (= 13), ocaml-nox (>= 4.08.1), dh-ocaml (>= 0.9~), graphviz, autoconf, libzarith-ocaml-dev, ocaml-findlib, libfindlib-ocaml-dev, libyojson-ocaml-dev, libwhy3-ocaml-dev (>= 1.3.1), libocamlgraph-ocaml-dev (>= 1.8.8), liblablgtk3-ocaml-dev (>= 3.0~beta4), liblablgtksourceview3-ocaml-dev
Package-List:
 frama-c-base deb devel optional arch=any
Checksums-Sha1:
 a83bf5d7cd318e8cc4b244c0113e6fe65f40b7b7 7874109 frama-c_20211203-chromium.orig.tar.gz
 e03987fedcea6440e3d5934734cbc4a5cfc77b28 15884 frama-c_20211203-chromium-1.debian.tar.xz
Checksums-Sha256:
 f679af29e0169bb55ea9b5823ed61c112be4a003b64ab894c82390d5b37e75e9 7874109 frama-c_20211203-chromium.orig.tar.gz
 adfdd2c9a896216f34e6392dac0fdd2284cb07439746c64755581989559eb84e 15884 frama-c_20211203-chromium-1.debian.tar.xz
Files:
 94a007badc034dc0ec4c09c51b13fa97 7874109 frama-c_20211203-chromium.orig.tar.gz
 e5e67031a4a4a5c15edf8a9e1bea8157 15884 frama-c_20211203-chromium-1.debian.tar.xz

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

iQIzBAEBCAAdFiEEAgVIKeEtDyqOZI5idFxHZtTKzf8FAmI60xQACgkQdFxHZtTK
zf+JnhAAh1lOJanJ15QQRKWp7WFsvp4uepnRD1EVNRCAeLx410jNCjEoaOdIxr3b
YojpgMRdPm4iYInyW9FQaD2lZiWvYd6+tESrO8B69LhuA6KbeC9zBjpyDWbLXfrS
0zs7awFNcmyPP6ps/LhK4wOHXZQBkaqtRmR0e/OLWg7C3Lous1Smdnz7xIL7jVwb
G/maCu5TMUh1vQ8mN55PeJ5g3WN3TEYrCS12MbA0kEc2sbaMECe5Uj50sW74FV0g
e/ELAOJ5A8FYAh+3pQc/+/Je30w7GcLXTjmpM9Ti86JssuKu9sMiM0M8RN510lu0
zr1fOjmEptCZbBJjRp+tmJsqgGjaHhVDi1xai0MAxdM2TqMQ8ovpNJz62VMpCwCV
w3ouY9tUVyjEx+pbLMn3rHgHRUduTgUfszu24dor/GN0Q8/frk7Og+bejLgsJNU9
j+tYo43RsDYPFerhWutSjfulH2hlk++iK/fgW+dEnSCXbrdT2AvSHGAuaoMEO1Pd
utpQeS31D15pWzxufi9Opn2VnjjZWr3egtJ7gIrHU+WqnTbg7fGznCnk8Vs7feqC
v1/odearjaC6hf5tmFxAdrVrEftaiz2RkT/SBFIkrqDIFZt5hEe7a8LcYTJAQtzz
ZPdKeu76bvQA3ysZqzLrOSrkxnbnA5/fWXy6uglO1fCfcbkseD0=
=xMuH
-----END PGP SIGNATURE-----