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

Format: 3.0 (quilt)
Source: frama-c
Binary: frama-c-base
Architecture: any
Version: 20220511-manganese-5build11
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Uploaders: Mehdi Dogguy <mehdi@debian.org>, Ralf Treinen <treinen@debian.org>
Homepage: https://frama-c.com
Standards-Version: 4.6.2
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, why3
Build-Depends: debhelper-compat (= 13), ocaml, dh-ocaml, graphviz, autoconf, libzarith-ocaml-dev, ocaml-findlib, libfindlib-ocaml-dev, libyojson-ocaml-dev, libocamlgraph-ocaml-dev, liblablgtk3-ocaml-dev (>= 3.0~beta4), liblablgtksourceview3-ocaml-dev, libppx-import-ocaml-dev, libppx-deriving-ocaml-dev
Package-List:
 frama-c-base deb devel optional arch=any
Checksums-Sha1:
 94cf9d19d886ee4228695259c35b22d4202656ee 8074351 frama-c_20220511-manganese.orig.tar.gz
 2c4f537afce55d7402b0e4e6d65c3d34ff59ed29 17132 frama-c_20220511-manganese-5build11.debian.tar.xz
Checksums-Sha256:
 5efcab6ba0c291f7d5eacc64ced1a2e6e52f45fc029e997fca0997f13142d2fe 8074351 frama-c_20220511-manganese.orig.tar.gz
 e5cdcb6fcba6025bc084e02f41384209f79c1dd55dc0bf501dcfbbdb6592b2fa 17132 frama-c_20220511-manganese-5build11.debian.tar.xz
Files:
 9d67adb5e1cefbe57c8292a3b7ddd9e6 8074351 frama-c_20220511-manganese.orig.tar.gz
 ee5f8cd37d36cf39558de7af68bd096c 17132 frama-c_20220511-manganese-5build11.debian.tar.xz
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmZrzOwACgkQ808JdE6f
XdnQmQ/+OfdM8sTCTWi58IXFjeakmNtn4JJROUquyEjP2GycfPayq80B6EEeFhkW
EVLCVwLzjcN4zpVfOEcacjqcwpPUs1T+p8hS+nOLiHo3oRBbVyNGOJeAhEbobl2u
qiBxp27FEfqEAyx4/gR/9hmV8EH/7++QESrEz01xz89y7FhFtd4FUsTlw3X0yU4n
ycbElU92mOmGW56l/gMFe6pj/pkElBMI+inI54mAjqbYxjfkSpAKgxPYlNSnnIHQ
UgFVs3U43RltY2xxJBmxh09ywVO8hAWLHAs3cxtQz630z2PNGH5gDFRFu79UE2jk
XPoSJ0VHs/Qzz+/ICpLltmO/wyd0nK//RMmYvi3IxGCSLi1H3nQzxyd/HODwWvMB
VijT1ffkfkdWTuJNAS6DTJVSbjW+rRBvHW5/5YUNpzQdGVoMW9HGdUfkWMQHY8li
zgojSqG13/YEJWOtAbera86Sau06nerVxfihWOAxbiK7K3jfh1YgaqFzMo8LCbG/
2lVAgT7tArWM8Wuve6K+8mtBGU0gL/PMJ81prnx7UyT9LWk9dI7xhjWO0xK/tUsc
wDx1nj+BjkRF0q6gxjcIiIysYQnf7TU/hwwyJ7s0SBxEYyLs8JZHnUr8Z9R2KTvf
/MUV67NfRwbr5bEy03xmGgnVH7Xa08Tf61j8Z8/V6Xy2DA3vDKk=
=o7AF
-----END PGP SIGNATURE-----