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

Format: 3.0 (quilt)
Source: frama-c
Binary: frama-c-base
Architecture: any
Version: 20220511-manganese-4build3
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
 c416e4ea1905e21ca3a9d7cdeab435a20945e4ed 16916 frama-c_20220511-manganese-4build3.debian.tar.xz
Checksums-Sha256:
 5efcab6ba0c291f7d5eacc64ced1a2e6e52f45fc029e997fca0997f13142d2fe 8074351 frama-c_20220511-manganese.orig.tar.gz
 d1dd77dd98ea144538deb5a2ef276c2e45dd8b944902d9d6cc2bd48f885c2890 16916 frama-c_20220511-manganese-4build3.debian.tar.xz
Files:
 9d67adb5e1cefbe57c8292a3b7ddd9e6 8074351 frama-c_20220511-manganese.orig.tar.gz
 b4f644c7f1c21a1e0ac5831405741810 16916 frama-c_20220511-manganese-4build3.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmTAq5cACgkQ808JdE6f
Xdnvtg//RQCmYps1Di0YWkmoTtfai14pFJqLXibMuEBL/OX+gtsg7yfYeFSNSDEP
rwacAS+pKV075ThCbZE7kABvBUMSHBE7TzoXNUP3vGIuwxPOZrKquWWZXLbKy9kg
yMH8Jt4zfMHr6RG3uBTzu1iDIYPWXwZJqCcDnmSmNRT0bM/Q2cZwJX6nWEGl78dS
21e/kH11SZJk+P0bziJaTJ0exgmMwX2FDUMfMxtnmcyNo2Vx3zkNkzQPwp/26JbY
UybV9kMn+gQGzEz3FGnBR3cSy+hQbXN0eKMgq4AKMThzV0/05daYREAeRYLYcrSU
EAChnpNUDPDoynpu62Kz92HGLCXaF7NA1+ox/O1I+7mZGtUU4YUGiFOzqjQX9IIk
7FqeObpruFfETaLd+gErERxgWsHIBEzVTBEjQzG2s9wxLE2TI2G7XU7M9Rogf7Ct
VWcxdNw3/ubwZHo1TM14iPLb/sI/F4yP+UGdb2i1rmKLp6iIwrAS5PVRZc4mCbqg
HRXWRQviGAh/F12KzMt4/jhYGhM0bcUVVZvHuwWT/cVXUprHRBwv947Jk55s7bMd
ZnIW424NtGakVgt2+3iBq1qCiyH9YrzmM8KT/JgZ/C1SxKgTeHdomKlwzAJPW1qp
IGfIuJeLyp8QWEIp8hF3ALsHunj4zjtaKRvzQ3KtrE0bhkgeC/c=
=RWzy
-----END PGP SIGNATURE-----