-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 3.0 (quilt)
Source: frama-c
Binary: frama-c-base
Architecture: any
Version: 20220511-manganese-5build6
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
 445b7156be4abdf24cc4ae3505dd6f9d9d3fe5db 17048 frama-c_20220511-manganese-5build6.debian.tar.xz
Checksums-Sha256:
 5efcab6ba0c291f7d5eacc64ced1a2e6e52f45fc029e997fca0997f13142d2fe 8074351 frama-c_20220511-manganese.orig.tar.gz
 f0bf9661055f7a6e68f6f7416cf9206086ea161d4f96f50b7fdcc254bc513e58 17048 frama-c_20220511-manganese-5build6.debian.tar.xz
Files:
 9d67adb5e1cefbe57c8292a3b7ddd9e6 8074351 frama-c_20220511-manganese.orig.tar.gz
 85ea4a42be5b0cdf0fc489a3763bf8ba 17048 frama-c_20220511-manganese-5build6.debian.tar.xz
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>

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

iQJOBAEBCgA4FiEErEg/aN5yj0PyIC/KVo0w8yGyEz0FAmXqkmsaHHN0ZXZlLmxh
bmdhc2VrQHVidW50dS5jb20ACgkQVo0w8yGyEz1YDg/+IIsZlT5uJbSf4jgT0jaD
s94ep3C8X2NbxI+pY9aabVSR0xs1Pb4q03C+W5xaqlIik3genCEcF+ZuwRwflx8C
UJSxEkNiX04cUBa8OgTtN693XXAudxDUEurFqchByOL1uj1VBZK9Wpps8vFxj5jr
8+mUe1GKAa1iCXh2ktSQ0SMa7rcUiRRHE/LsZ+soC7gcoA4+Nn0esGr0aZMuN+PE
p9GpGvtjTBaGSDjmTX0im/UgF0oMjZ6p2qL6Hvp6jyLkJjzBrBjZ+CtUjlPc/FFO
7rwQElDzMboDuLC9goP5yGf0lXURfonwDNwWKuYW9d93x1GmJLtd5q/6EPKjXR68
t15BXuXp52muNi9hj26RPO0fcUlWuw5OH924PpyIHZa8m3ihKaB0sQy9jrsO2TwH
Kr8KVBOP8JxT3Ozb0widYSMtEVPoNTGPDf49e+v7D1GU6aQJ23quFB2GR4EQgtMa
aiW6f1Yh7m1bOUGRmwlUrk/Io94oGIGX/OQv6dDEOiPOicgctc17Q0NAmGcgNx/9
+PhYZum0lQO0a/dvJ4sX3RDSdyUneqFC+z/cMXrB5NqbIKEF64B2jKl3Pm9BoXu6
W+hl6YbNLKQRYEaJKWVT0MnqpnY2oMg4Q639zqEkv2RqW36y+AgnfnfmsXUr4JZN
SPvBtuaTJHGBhPDG2HmcVuI=
=qDIp
-----END PGP SIGNATURE-----