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

Format: 3.0 (quilt)
Source: frama-c
Binary: frama-c-base
Architecture: any
Version: 20220511-manganese-5build8
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
 0442665fd05896488e1666e5cc5e51a84db378ae 17096 frama-c_20220511-manganese-5build8.debian.tar.xz
Checksums-Sha256:
 5efcab6ba0c291f7d5eacc64ced1a2e6e52f45fc029e997fca0997f13142d2fe 8074351 frama-c_20220511-manganese.orig.tar.gz
 8e73369772b17d1c88f19676cc849d4c424433eaf0a74b5267f3b252d990e474 17096 frama-c_20220511-manganese-5build8.debian.tar.xz
Files:
 9d67adb5e1cefbe57c8292a3b7ddd9e6 8074351 frama-c_20220511-manganese.orig.tar.gz
 d1273da1035c1f75dfd1949856b992bb 17096 frama-c_20220511-manganese-5build8.debian.tar.xz
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmZeOFYACgkQ808JdE6f
Xdk14A//QAJz3VKm7MDa9p5ODGXsevpkB1Hq9mdEHFcDPq+tOzE/B5bVpVMc9616
BxbQryRvAj6y6CnWnDj8lLHI55qtb6x6otWooY+qLBYmr8l/bbNnJTUmO4iRFcKa
oSD/02RTOfi7c1x37r7ZKo6FsSe4rf1fZ6Qqk4xF2bH9M4CmDoPZrnyQIUgz+0mF
Y+EwWEpMbCzeRNZ+iZk7+bgcltgk/f2wefFUip/A0UPvm2am+OordKZ6tx6+VFZO
0S4e2lhiAU4ERqkAuQYMampn3ctrCaq9b/+dtMU0B+GBov5XOTrJm72hIxT1copK
VksXvHLZlswQtj6YhLe2atyvOLUTCt/qv5heHptI8Z+4jwhfkGHIqOHO0I60lzST
FUb85osUM9ftLbM8Pbyq7sg8IhoYrxcFELSZhbT0TfhgsQzV76dNOVpov8HcaWje
ZK+ZeKoshMqLcxSLh5cu5wS39v2FxkUAO3JaNq0S8/7aCTFUi1xbeCiIdoSo+J1V
rkwqvvZVnZQM59ljaGOk9ZH58PWTnTY5TYJd7ENURsf2oPqfgr3sM1PE5jRS5egJ
osv3a+Tryd3HXu6/25/A7bMUbcyNTOpTJiHVe4+mlrQXy/CV7BceHlMMaeXSglzA
e3nAlNJhaigjgHSrYsD9QX3RJbc50J5I3EWzuj3V7mQewvqgP7Q=
=66Ve
-----END PGP SIGNATURE-----