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

Format: 3.0 (quilt)
Source: frama-c
Binary: frama-c-base
Architecture: any
Version: 20220511-manganese-3build3
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
 a1faa97e49d59e726684fe429b3d7aa95b5e3a54 16276 frama-c_20220511-manganese-3build3.debian.tar.xz
Checksums-Sha256:
 5efcab6ba0c291f7d5eacc64ced1a2e6e52f45fc029e997fca0997f13142d2fe 8074351 frama-c_20220511-manganese.orig.tar.gz
 3a215513e8d4371480b8cfc07e612969095df14fcefa5478bb98fcd2e31911dc 16276 frama-c_20220511-manganese-3build3.debian.tar.xz
Files:
 9d67adb5e1cefbe57c8292a3b7ddd9e6 8074351 frama-c_20220511-manganese.orig.tar.gz
 52ac6c3cf72dce5a7aad50498893ad96 16276 frama-c_20220511-manganese-3build3.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmPyTjoACgkQ808JdE6f
XdkuEg/9EBwzmf4JUhg11i/CBsMh7ho0Xb1fHLcrUyH87eh1KteBeNRPvEFwsZKo
QBqW6A5YdJTXuk4fcuFPyx3ow2WbwB4+3hTzpsKYsvonvXzxWqhGBnbeLNR9xoPB
lc6u1FZetr9b9bvplDdIrvKRSkkEMTqCDleqAUi8tc0ueNmcpQV9LVfR2ZKpc/qu
cTcKNkxIlmwDUpic1vL1OPrQmlNl2emFfdjqB1xMAnLoJSsHXkQSrKdg42rHgIVv
vK1bBSl8CucKxcSh2OhfclX8Ngs3Ps80Cmur2JiJ1oRnkxEk79BTi4aOWvsMWcxj
ES4KNHjWgNKBCUSXonoCzFh7Ac7adEFlOycmdT0ileumvA2Te+BG/t100ByPsA/8
egcjcL6l9wGb6TTEYGI/JZR1NJ51Gu2myUHpdNgwGK9pSLlm1Lt6TP2XUFEtnJ3P
fjZG9wNSe+7iRYiLIptaIfm0yqlvc30SL0OoXWBuge758/65S3nnXH91xm+V77rL
AnirXCgRUY/YwsFXbK29Z44eH0jMYwY/PCCZyXCPcdrdlnMPAL0iUKdpSYfRgAoC
HBqTs2aCGNKNxMNtGE0jXagnsA0dBn8L4a4FtFS01Ga9OC0ZFEBvLlfNIkRGKT75
nT3SlmLofXdWVCQFgjeRBxFOqgYDaxBw3M13tqlU4/UHATv3iTE=
=KAh6
-----END PGP SIGNATURE-----