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

Format: 3.0 (quilt)
Source: frama-c
Binary: frama-c-base
Architecture: any
Version: 20220511-manganese-3build4
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
 8250a72ecba04c7ff8a4ff549c1df9553700e419 16292 frama-c_20220511-manganese-3build4.debian.tar.xz
Checksums-Sha256:
 5efcab6ba0c291f7d5eacc64ced1a2e6e52f45fc029e997fca0997f13142d2fe 8074351 frama-c_20220511-manganese.orig.tar.gz
 9e819e25773c0aef893c358abe2016cd4e8e6f67abaa94c05b53bbd73cd74722 16292 frama-c_20220511-manganese-3build4.debian.tar.xz
Files:
 9d67adb5e1cefbe57c8292a3b7ddd9e6 8074351 frama-c_20220511-manganese.orig.tar.gz
 e7312ee9159e924b073a7d745b9caecf 16292 frama-c_20220511-manganese-3build4.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmSoWWUACgkQ808JdE6f
XdlYnxAAz12UJSWG2ay6N8dpayVyLdpSUUUcg7q/WQIFvA9KDVdNBfHa+nXl/q+Q
S2i/kMCWcqGZ/cAS9EF0zXRU5CCPLKgRo9+RxxVUxnfc7Bggy9S8tAG0xtMiYwAD
Ec7KsLQ0ItX0JH1YUAGIRD1f+7C1XjSWQn71LI/xFk2M39VzqV4bWcfXtSVyMQqZ
gX5smpcgSHlCjK59jmPp0tFHOH88OQvlODjVTI2BsLuNepapW1VvToPjU/thKSeP
teTR5+ZSv1sv6nTJo3y7T7wp3+zNm9MwOMUJ333YfBJJVCn1D08fUBeUXO5qpAJg
mOhxVa842HOvvYap+UvdipVcVXByP/Saj2FkKmZpChz9bkl6kDxZh/4xaVUjPyWj
DT0F2djDyClPmvbMqlq19uGmrISJDGc0SR7VYYCp5e2MkazurjKP0ebJykkm4pc+
gPi8C63/Emdk2SpiTUS/yWnXkbrjZLM1Ym/DXWjSlgZaj1VxT4uKQSLAkoSLRQcn
RW/ZuCPDBUy/D7fFS1F5hCCVlyMBBKfH89gt03dzoLsQHZNf8feTcW2Eo/IdX1n1
BjYmc9ooUS6XMFkSceHNxx6aSkdA3ztIJsxpadvFgQpvX4/RVnlvtyZ4a+DdafGJ
2CWjStsYvJoTHnIUxJSp3jLNLPTNpXGMuk8v+uKLtO1FFmWw4YA=
=A6aF
-----END PGP SIGNATURE-----