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

Format: 3.0 (quilt)
Source: frama-c
Binary: frama-c-base
Architecture: any
Version: 20220511-manganese-2build1
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.1
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, libwhy3-ocaml-dev, 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
 0004dbe95e962a4c067fdb99d95bcdbb1855936f 16100 frama-c_20220511-manganese-2build1.debian.tar.xz
Checksums-Sha256:
 5efcab6ba0c291f7d5eacc64ced1a2e6e52f45fc029e997fca0997f13142d2fe 8074351 frama-c_20220511-manganese.orig.tar.gz
 e3023268f1db5b3d083d67b10c85a056290db180cc1d50b2386248f7614f4bc5 16100 frama-c_20220511-manganese-2build1.debian.tar.xz
Files:
 9d67adb5e1cefbe57c8292a3b7ddd9e6 8074351 frama-c_20220511-manganese.orig.tar.gz
 fae10a46484c9fa5dc37f51f9488b0cd 16100 frama-c_20220511-manganese-2build1.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmOCh/cACgkQ808JdE6f
XdmjXg/6A2QyGt7x/bf1ORr2wI/czrJp7Mw//+eX0OFL+o2JMGVdaN9+r5uOwmcp
wukThkaPt/r5dRf7Ass+VDCKhitSYFA+OCP6OK5Y83cNC7u4md8T1oKX/6DeyS/o
POR3pQRLRCQz1EAMX43hxaZZ1TvUHSplkdqA8DXz2Er+D/f+SaSwi9d1DXnIJ7iA
g3OUDQWGWdyzORZV9w3zvA3AOaUJIGQrkrJTwwyy2HvgOBV3xp+52jTe3TCcY+PR
Q1pBqRbl2YrSppyOWibGFjQLP+1hxh6P6umaJc0S56jJz/xCCCAS1abNjkDOnUDc
JfdKAElIp+opGesx9GKSONtJd/kcU4SeE5gFYUKWSSyBaeVULr9bWQ1GT+X3cWl/
BM3UjQJPtrKBAwOfXZ8fH64AiYAy+Hl4YlAFslVEcXcrbc+NkAR9Yu9rq/xdw7hG
Rpl0sJIcja/R6D+S3afS8m7PFQ32yK+gPtju4nqzBLpsFvNxSf3k/9SmOGa3Y/8d
ZY7phUiuFaTnFx32MwhG9p70FZjKh8swuOjJOlaewAY6OLQp/Vv0qZ0Vk4BUYY++
sC9j1w1/4O9AV9ZWF8/3jiAZeFw/KRuEsfOeN2PonEcbERxDdGHU7+2zoYPxYefx
azPaqYFYgPa/PqajCdhUmdQ4VdQ3AxZZDTu/qAVmgmuGC3PWJ/w=
=Ibe5
-----END PGP SIGNATURE-----