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

Format: 3.0 (quilt)
Source: frama-c
Binary: frama-c-base
Architecture: any
Version: 20220511-manganese-4build5
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.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-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.5.0), libocamlgraph-ocaml-dev (>= 1.8.8), 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
 49a741369e56a367cf29c9ce51aefdd03ed65ca5 16916 frama-c_20220511-manganese-4build5.debian.tar.xz
Checksums-Sha256:
 5efcab6ba0c291f7d5eacc64ced1a2e6e52f45fc029e997fca0997f13142d2fe 8074351 frama-c_20220511-manganese.orig.tar.gz
 89f952bce3e2121584c9c69013a499de0ca6905df01811ed3c8c180dd972e443 16916 frama-c_20220511-manganese-4build5.debian.tar.xz
Files:
 9d67adb5e1cefbe57c8292a3b7ddd9e6 8074351 frama-c_20220511-manganese.orig.tar.gz
 9185095470064b0e3d803680b622a3cd 16916 frama-c_20220511-manganese-4build5.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmTDNzoACgkQ808JdE6f
Xdl1GRAAzJPJfus3xHbUNNBIPtizbRw3ZhxfamNxgEVYlY+ddxjGF+FnIUrUNwwK
LUfPXDG0ssj1ZctZceTDTfmsyBIYUVNZCo85iJo9YTvBG5stbmhrGaBhLmtJz+Og
UAJFsH6iwPX/zubErNCnDBg5ccF/+ygScdGgIUHib88xwtl+E0THIYBS33cTvPF5
ob7b5qmNcpf8/lbgs9O7CsHCXmuL2Kpj2aSRjVknocNQa1DoFNyfORGivPwjnKXK
4ATMB3Qkpb4e9Q0ZM/auGxCo6pZjD1uZdTvyJaNF8DGSHnhSVVqMK/0yK7zBwYJS
wMI6YbvVddOjEgaE9uQZbyfASUO3sWou9PEdPVFKAMdN2wTM33D7ho+hIrwc2mBY
PhOEwoYdMfbyt2czWNV7bM0SvIwwwaLwEMPYvFfPQ7YFVDtthQw6ImdlVoipR3yg
jc8tbk10dVxlererAvNW2oIBCd+SgF3nCocQTRoAIcV1WBTTKd0yI9jUdjMyCWle
bjf/AeK0fig5dMtvpjSxaQginQWb3nZkGOvjua2gKisEJyKYvuKc2OLYrZDO9oVB
ak/Mrkf/CwhlFivRjhC/rzQMq12wjtDU5eu/+naerpZ6GaXI06WE1MoaceAkxiRM
5Aybpovd/ajbibBcLHVZbLZT7dh/TCHEXkr1lrcl3v6kPgCXr6o=
=cVER
-----END PGP SIGNATURE-----