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

Format: 3.0 (quilt)
Source: frama-c
Binary: frama-c-base
Architecture: any
Version: 20220511-manganese-5build17
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
 47c4c7da34f979c14fd4379af2a65513f0013256 17248 frama-c_20220511-manganese-5build17.debian.tar.xz
Checksums-Sha256:
 5efcab6ba0c291f7d5eacc64ced1a2e6e52f45fc029e997fca0997f13142d2fe 8074351 frama-c_20220511-manganese.orig.tar.gz
 6a370bf1c1fd46dde40a0c8908fe5d7232c0ebad9cab7eeb1b8edfdf5aaa8544 17248 frama-c_20220511-manganese-5build17.debian.tar.xz
Files:
 9d67adb5e1cefbe57c8292a3b7ddd9e6 8074351 frama-c_20220511-manganese.orig.tar.gz
 5d7b9cc03f64c8f647753c89bb0512a9 17248 frama-c_20220511-manganese-5build17.debian.tar.xz
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmeb74MACgkQ808JdE6f
XdnmOQ/+MmTKfsOks9dUwXZRtFFr6AxTnJQMnQvbYrZw+MgsfXvFdWoa+80T2Uf6
6W2I4QA5Td722/fA7eMFDY92K1nXQtHE1TZrg2w5APOGH5JbZkLJWBvQaKfTLffb
INpROP758SP0c8GB+fn44wTVMf/mpL9/s8RYNdJn5YIvZn1uKydU5o8WlGOKfF9f
6UiyAmIUQvlnHcZ3IZxRE/gj4QMcYw2qny7k02SEin3PQdfdVgqDOOlVlwRSGPL6
6oKVwTZn3fRsF77VA46L67qwrPxWbIDfZqqxROlfz8cefkWPjTeLkOuqINV6FS5N
i71l4V914LKkcVMtZI2DxfHqSDh3/DadIEXJkIyqzpZWmuPBo4J45ccIDY7tjPN4
1KLH7HHpdzIgFaFxPcT1zzgDSqK+Ta5itDEzZPNRSMj9B7+9GXZX46aLgsBzH2rD
zXqHtyDFi4dcRT2DqhPbNr8q4vq4LurWiFjPVYa7Vu3rcCtdEjZ9yCG6AFn9DQZX
jDnMPLzBt2rX6ZY4f+pBvr8jRgFIBQDm0sByO+tnO9DfUNQUo/ch0acrmW6lSUdF
G/W6bulCk+Q10tW6VWucKl2/vvEncZh1CKdHWT/tRuzO9pbh15cZCSYyVdPF8Iw7
fCeGSaikbtgzT58FFPx/XikQtVUic+kmhpVpwAtFbvrc7qs1qc4=
=4a7o
-----END PGP SIGNATURE-----