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

Format: 3.0 (quilt)
Source: frama-c
Binary: frama-c-base
Architecture: any
Version: 20220511-manganese-4build1
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
 f709fcd899c96a5074ad7a181f6ba0ce1b8baa42 16884 frama-c_20220511-manganese-4build1.debian.tar.xz
Checksums-Sha256:
 5efcab6ba0c291f7d5eacc64ced1a2e6e52f45fc029e997fca0997f13142d2fe 8074351 frama-c_20220511-manganese.orig.tar.gz
 29f4bfd81aa909b58aafbaa4cfb2879a82611529591c05d318a1a86b43d9258d 16884 frama-c_20220511-manganese-4build1.debian.tar.xz
Files:
 9d67adb5e1cefbe57c8292a3b7ddd9e6 8074351 frama-c_20220511-manganese.orig.tar.gz
 a1f784ca457e2b05fa87628b1ae6f40a 16884 frama-c_20220511-manganese-4build1.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmS1TFUACgkQ808JdE6f
XdnfSA//Raus03zvWHNCnC+3LkqJQ1olCeI1BQ+pew7tVVMc8FOzs9YiYvjdE/aP
Pd52Mum8Q+A0UCrZpx82cehSiUUVk+kz+VvwXb7TiQJcy9iN1p9fBKoIawzJkLZT
TaH8ApsHS+wFmYxcOBDB4qcqctcEsIU9a/jPGnb03xoo71KVtAO/hU8b3Ne0jh2I
bH2/UcHriiiKmlyaUJQVF1+BOcaR90C0h2ngQIBP0+3xFERHM6RfcLQoNNd42bb1
hhIVJrOdd/yGDWhOxsrf8ZP9BRJbHFHKYb2F5qBAYE/fKN3KwLktPC1iMpX4JIu0
SMLj+ejeyN1JPq1jsphjt5tAYWLgti6TJEGVimjxvqi8Zeq0g0AYlo8TaOXzFTtn
Dab0swMuXhFwsG5ORGImTrCfA5WmObfNhpq+dezC9k9976WOdbdTVqPonhNLQPwe
yI/bU4DGX1vHp+9Pn/tsXMVVdpoe+8/Pfl/3L3UwXqcSTaJN7t39psii2ACmq2TL
ZJH2J6F8AOdaoWo0sp9iZ8eZtQdHB4+wIq5nm4WiDNak+yjG3Y1CPc7ln6XSSpac
+esetR1xSrT3zRxQmnN7PWefUtM2cOPXBU7BU7Byiw53MfNqu6TFkqp02dB/0Hd+
4vpVO+QzEWRRzrHroaB1AzcfX55ONX0WlwajYf3S6MMX/bu9oA0=
=eNsN
-----END PGP SIGNATURE-----