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

Format: 3.0 (quilt)
Source: frama-c
Binary: frama-c-base
Architecture: any
Version: 20220511-manganese-5build5
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, 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
 4f83c1c832e148633e4bb1d23f7a8281b086caec 16932 frama-c_20220511-manganese-5build5.debian.tar.xz
Checksums-Sha256:
 5efcab6ba0c291f7d5eacc64ced1a2e6e52f45fc029e997fca0997f13142d2fe 8074351 frama-c_20220511-manganese.orig.tar.gz
 8cd99dd6b451e52dea9b8068e8d2ca51baabb92beab3c3e4373ac31f676a8223 16932 frama-c_20220511-manganese-5build5.debian.tar.xz
Files:
 9d67adb5e1cefbe57c8292a3b7ddd9e6 8074351 frama-c_20220511-manganese.orig.tar.gz
 b47c7a6fee72fd282f6d8db8c2249306 16932 frama-c_20220511-manganese-5build5.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmXW+YoACgkQ808JdE6f
Xdka2Q//dy4YfsSTt7NCjfm5ExF62LILJ9PIK8IV94fpO/UMgAsAG1iFOtGrc11P
/op22O8A1/OnPMkOWWgS51GDbk0rxV99xalxb7wcp2dYLOfBYPrDryvUhEsNshGS
Cd/sM5RHGsQ03pGHGN6ATowzDMmtEPz8NFd9SfO+Vjd7+SkOWWMm9BBRq7JFp8Y/
5zHR55XoQ408CU6o7IELmiOXYY7+xFLaATsBh3ANARUbfZBDpW+ScDHA+doNXOzQ
cNGA9sGuPu9ALbgIU7TxiFlyDlM6tv+QWIQRfKbgqzG5VhBIzHON+k7FrL2rAn8L
ONYUwM3CtjYGbTk2KxCTXTvoeNs50oQtQ4+1G7QZ/o9o2gnDk1ooizLC+Rtwn1bS
6OxxkN3ibwk8zKiUlVKyC9D30TGcMoB0D3O2uvVuolWZD8TrqIg5XwAOTjggW6L7
iw84FUsOvBqsTj+ommunFecEdB9XyLY0AeP85f8MwZgNYVhtxxdOeBALDJHc0Srl
Xntb9g93L9YZ1C78WcFsj1SzELiGy3WgW4zZS3qp7+18N2uvx+saKzx8P/RG5oFW
SvHfuLI2T5qxdxOyM2u7lmMqo34SwysiIbFEiNiiziX8GtC/Fs40ubYfJdR2AiwJ
1cXrc4NjxImOwYnllRU4QgUR4l82wzsqFgcFQNhAhQUd89PUO5Y=
=tRyr
-----END PGP SIGNATURE-----