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

Format: 3.0 (quilt)
Source: frama-c
Binary: frama-c-base
Architecture: any
Version: 20220511-manganese-3ubuntu1
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
 759a2d756528023a8222c1fb301167d5e4be5779 16648 frama-c_20220511-manganese-3ubuntu1.debian.tar.xz
Checksums-Sha256:
 5efcab6ba0c291f7d5eacc64ced1a2e6e52f45fc029e997fca0997f13142d2fe 8074351 frama-c_20220511-manganese.orig.tar.gz
 b4c711e2fbef6b03aaa6f9d27096982967966bbd6b8d98203b0a139e4f0879c9 16648 frama-c_20220511-manganese-3ubuntu1.debian.tar.xz
Files:
 9d67adb5e1cefbe57c8292a3b7ddd9e6 8074351 frama-c_20220511-manganese.orig.tar.gz
 e3a6449ebc1eb49b271a9894b133fa58 16648 frama-c_20220511-manganese-3ubuntu1.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmSphN8ACgkQ808JdE6f
XdnXYA/9EEtAe1L5GaA3JiWvPxY64MjNagAVmcDHEL3E/agoHDP+oDNRwgRryrvY
n/tti7y7rxdP+sltRJ9IoJX64ZH+wdTf5hUL2ybzL1gpQMsKDPxrM8xja6OPNohV
50fyNVvfHu1c38N/8rFTTctAcC60VfS2rpugM5hdh9MywxmGwYoGFDD4wvmVsZ10
ZAjKssT7E/Tikhgl+xBYH1XItLsiEmngSCtu+VEV1XOn0KiAedtEiRixMZLdIIYH
9gKy/EF0HFoHwo5V/9ObTuPPbD9nb+5MjBiIDEqvyubT16C6ITrGIhKSrqysP+0j
ZCnCGTm/qcrb0S7rlk/DiTYRkpjTZo1FqxxJwS5Wkt6s+wJqRkV/ySfyeCd16Z7R
IzA3ttqiBgKvx3zW3muKcVZlnWR51ZRa29sXpUet4EUPACelSSRHyf8VPHVTd9wK
7LfnOQCAZj/dyy0Mhz0haCr4KjR5ma4HGq3slfN03EsGWb0+BsvRiGyukLTxkDwN
ZbsjTVBshrUxBvNNJSwvHHtIbCDlUWaQcj2zsU8WqFDk6LBUIZ0Hr5j6hJUzgGyn
Ssr96CmQw3ksLDWNyTbJKz5mfJ+KnvrS216WrFkyLJDt+PAPIEgWAbcxXpFez/XA
9QxPntULEeiI3CpD9avKblpo3lWVVYeRMgOE5Jpf7XOBSHYtckI=
=3egQ
-----END PGP SIGNATURE-----