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

Format: 3.0 (quilt)
Source: frama-c
Binary: frama-c-base
Architecture: any
Version: 20220511-manganese-1
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.3.1), 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
 36535a4c3a4f630b872ef1b438d05c51ef16b3ea 15808 frama-c_20220511-manganese-1.debian.tar.xz
Checksums-Sha256:
 5efcab6ba0c291f7d5eacc64ced1a2e6e52f45fc029e997fca0997f13142d2fe 8074351 frama-c_20220511-manganese.orig.tar.gz
 0c88bbba7746b6634d457d307d7c2d3133967c873335db4bd217a337c8f39fad 15808 frama-c_20220511-manganese-1.debian.tar.xz
Files:
 9d67adb5e1cefbe57c8292a3b7ddd9e6 8074351 frama-c_20220511-manganese.orig.tar.gz
 f66d24de771af0491b2677c367018c92 15808 frama-c_20220511-manganese-1.debian.tar.xz

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

iQIzBAEBCAAdFiEEAgVIKeEtDyqOZI5idFxHZtTKzf8FAmKuJK0ACgkQdFxHZtTK
zf8j2Q/+MMBMh9pHSWnspIOzkN7OsghfDx/BSMhuIFMBx+Ciz6uj6giDdDCCaJoN
DA3llsLRUhUtf5edAsx8m1IiKF/X6Te3sN/gI0+pS6+5CBNlzBKXbHMdxcNBFkDo
xMh6emGfsUz8nKszcN2MAJLt4M+fBlzfb9N96TL59AxnWIkPU9hyjF9b6a+Vo3hC
XP1xKblPRVtq5EiCIi7Lor1iLgSjGcaDJqdLE7ZJXCXRsIjWeAnufvpfWYxOQ9Tr
W+lD1Q8/Ag6Myu0DYUi1XN9wvvmCKr0LA6LHG4lsISwms4/VZFwBbEc8vFeQWWId
1EUQeC7fZzxKiAUyviBCGcQ6Cg2CjtCjxZocX79O81c8akmbs4FlhrEcZUqtjYrP
aF5wlAb+uT8iUr2U7FGSnDa1ZnNMfRoJnGpr6VW8alfotCwPVmR5wfSK2XD+TRyC
aPHXIV5eSr9Xh1CgzwAEK7SXtg0+xRivbYM3uzAV2rHG5UP4wqkAt7n034M0dsMz
vkdfUI1DEpEbtcG0571Hz7R5TkZC8ucyWq1b8Tfh2dBujKBr6VwQ5cunTFpa+9KQ
RQj5LxMpOzYE30QyB3yfqogGxpJu9eVPW2qEmdQTdjn0XjR1G2yeJWUV7RWI7BP5
PI8bAgR+Mnw//rK40C4ATmepNEttCdnubA+k57KzD4zU4p2xUjk=
=+q7r
-----END PGP SIGNATURE-----