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

Format: 3.0 (quilt)
Source: frama-c
Binary: frama-c-base
Architecture: any
Version: 20220511-manganese-4build6
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
 ba24fe2d5bb660fe15794954481f0b9a9f69f479 16944 frama-c_20220511-manganese-4build6.debian.tar.xz
Checksums-Sha256:
 5efcab6ba0c291f7d5eacc64ced1a2e6e52f45fc029e997fca0997f13142d2fe 8074351 frama-c_20220511-manganese.orig.tar.gz
 1951af1e8226aa6cd9646aa8d474a036a102a794e461702f97eae0ddd94f810c 16944 frama-c_20220511-manganese-4build6.debian.tar.xz
Files:
 9d67adb5e1cefbe57c8292a3b7ddd9e6 8074351 frama-c_20220511-manganese.orig.tar.gz
 c47e7e100faf3c86dfa8b016059c8a5e 16944 frama-c_20220511-manganese-4build6.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmTsqGcACgkQ808JdE6f
XdlP2g/8DAHeefZ4C2VZbBTQQyYsrA+V4cwxnyIStaeEQeNlo0a6MMGZCHq6dxUw
vifYmOwEY1XoiJvr9Am8kgnGWlnI6o+AA2SaXhWOwDnULu8gB5KZGyWE5CF5yCfk
aqgarMfkvQ9O0TmdJQOhbxyVw9Zmq1QPIBzt3Lups24i1HsGsIUzCSo15WZfWK5G
+Taim0ADSphD8JZZYFfO1W7WpFQ/vmtOYAsJ51CBrQ1ffOvhr71KjHGp+/VaVk7m
/0AbAtI7wdDU4dk2ZXC0TTpwfOk+xOnm3UaZfGB5UhQsVf0SV/AzExD4ZNN1BUE4
CzazFav8F3siDPRqmgg//HQ6z7CYM9khxSLbAS0P6xsVqXbrCFiDuP7/PtKpIgWL
n1Xu/HRX3N7Tw6fcdTROkTAucYRAKm1PkV26hwxXrMa1MHLcigiZQe1xaGR0Or0X
S/jKG6pmmmgWxXsysanTA+99m3qaSlNXwNiDVy2Y+DV/+RJlZIZ/XTllOf1/LXSe
fkBJ1BPq8wrgT9mrFISbWbONQ/oegAu28//M+BYRS7t+mtVbIoGW5Rz53NSimNIv
niFUDy8HTahUoCxg8i8Ku7o8zuCFFkPyW5nMfuv8fOgMvdgdTg7Dw7MwtaUMQK+Z
z+1VyWqrzDnjfcgsq1f5zpL/4duaRWIX02CUlN+VH2AM0tClcuY=
=lRAz
-----END PGP SIGNATURE-----