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

Format: 3.0 (quilt)
Source: frama-c
Binary: frama-c-base
Architecture: any
Version: 20220511-manganese-3
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
 475924960094539e4fe94290c7b595eb8322164a 16200 frama-c_20220511-manganese-3.debian.tar.xz
Checksums-Sha256:
 5efcab6ba0c291f7d5eacc64ced1a2e6e52f45fc029e997fca0997f13142d2fe 8074351 frama-c_20220511-manganese.orig.tar.gz
 1811f59a32b2d4fec3e2aff223fb13f4ec8c9a097bd1536cd4be1bb2e956dbe9 16200 frama-c_20220511-manganese-3.debian.tar.xz
Files:
 9d67adb5e1cefbe57c8292a3b7ddd9e6 8074351 frama-c_20220511-manganese.orig.tar.gz
 a32f321c9473966208af467abba35c1c 16200 frama-c_20220511-manganese-3.debian.tar.xz

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

iQIzBAEBCAAdFiEEAgVIKeEtDyqOZI5idFxHZtTKzf8FAmOrYOEACgkQdFxHZtTK
zf/MMQ/9EkoAf77iNA5/ntxho0003vfv6GoZy0pM5ezaEtGCACIaoAo/hcw9pA5M
/Y4zI9dEHf15qj4k70VssW1eM8lfbHLB2qPRs4JPec4/DO3Ixb7r6LWwAjKUF3t3
8o9VTM58j6NkQy2mGQqXi9MvqEarIQf9FDLNyQFXY6iyYhUNhzJVP4X9yb5isNIW
UJKEc0h3P8Zi04W7dOi/x1w2Z6EDADaaAEMrwZwpDyGFWYdDIdHPBFu5HP5EYB29
W+GBTDrLHwZDXIlp3stBe8jxDf5lfAi0cHYNS5vhLht6+0aLfDgpnxPu2X2OWxXI
TQ45ssaZW+qZ4cj5qGOEJbeuFKZyiplZcPM5sXSIfsy5tSi9vnkLKonnjhrrFWkS
o6qrc0walBZEOZUYxdS3HHq9JJflh6eq5GdOev1TjDaSpfh1CWmvN39XeCHbx6gc
IYI6+OCQynAAbPla0Bc3bBGiPBz4v/wsHzoFFpW6dPZ3HSKyb2rzPU8yNanDOPsj
/8JYl38BCMQC7mQAvGmkoUC9vTxRMMniIuyTZxiWfRC08L2lN0PxUsZ2VscLT52z
iXqhqGusUEuabB4V6n0m5kz1i2jCKqwAdJUbfNt4/N40aYzjuRbL3pxmiPAzOabz
30z5Jfb2Mf5cBzaA1U/Ii4TUUFwUNl2QlqHJHuDwmNqKTG+7js0=
=L/UH
-----END PGP SIGNATURE-----