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

Format: 3.0 (quilt)
Source: frama-c
Binary: frama-c-base
Architecture: any
Version: 20220511-manganese-4~build1
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
 65a03cd9169796f3f06e2e26cd4c9fca070346f7 16860 frama-c_20220511-manganese-4~build1.debian.tar.xz
Checksums-Sha256:
 5efcab6ba0c291f7d5eacc64ced1a2e6e52f45fc029e997fca0997f13142d2fe 8074351 frama-c_20220511-manganese.orig.tar.gz
 3abdb797c1dc54b0fc049c69bbc95733b0cd53479e3c34001ab25e8321f8d48f 16860 frama-c_20220511-manganese-4~build1.debian.tar.xz
Files:
 9d67adb5e1cefbe57c8292a3b7ddd9e6 8074351 frama-c_20220511-manganese.orig.tar.gz
 f512cb16dd4f6886cb137b406ea764df 16860 frama-c_20220511-manganese-4~build1.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmSvsmAACgkQ808JdE6f
Xdk4lQ//ah5odv5Py+DtQMlOkeVsqhje7qqy/yO8MwMH4qDj4hTWsW7FxZHqJJeK
hOBtmYftiguO35f6Kfim7zIYjitBE9Wbz17C+ZgT4zL4feybYzBzBhmhF8957LW6
ovXp1CgXCtGSGhhGnsZ+xBE76yUfJkWrTDCiPBqdQc9VmXWkCbSC5QpEIH6sKQ+9
lU3ifgwdLPF/Yg3508HrydnOL0rHc0UE/BLzBphHtPv9uyIF1jotHS1XM7K29JZ5
zn91SdPQSNEk8DY+PWsoLdtyH8A1SQu/pZ2p5QfnGCqIT2xKCyeQsYs2plkgN5UU
dCsk7rbw6yf/Nd4C3rDV+TrvikpjDoYrx/ERwiOI0MtAI7aQDCLTEKEcDDc+34z4
p35fcSz0qZwyjrPaQChcUu+mSxixvivbSI4yLxRDngdNPB3kHF9cLDDDL6C+OQbh
hDU610Uvu34HbYfph1mu/5lO3pOz+RBLZP5xAx821aec7y4N5PVi7y7fsbFqWKD6
9Tay/P/0hBoQ+u3N6lIofl+ChtnvesNm9gfKunL5ynQP87tRpxWD72RxP++C9SJG
FZvrTwFjwhU/qT9yIcR04WkhH7sZVJ1dm9o3uqRTNMB1lYNsA4XR6MUBTRVPoWRI
Hh8vtNAGp3G8+rAIO5bapZZTpPoMq+mBnINXOGHtUbRo5jU1ai0=
=H8a0
-----END PGP SIGNATURE-----