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

Format: 3.0 (quilt)
Source: frama-c
Binary: frama-c-base
Architecture: any
Version: 20220511-manganese-2
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
 bd0a9970675af15aec982285a3564df4c673b856 16044 frama-c_20220511-manganese-2.debian.tar.xz
Checksums-Sha256:
 5efcab6ba0c291f7d5eacc64ced1a2e6e52f45fc029e997fca0997f13142d2fe 8074351 frama-c_20220511-manganese.orig.tar.gz
 a3e1b58049abad89298e4e34ad909f0ff07d12da054e373b9610a6b2234865ca 16044 frama-c_20220511-manganese-2.debian.tar.xz
Files:
 9d67adb5e1cefbe57c8292a3b7ddd9e6 8074351 frama-c_20220511-manganese.orig.tar.gz
 dda5924a7365141400172c51fe20a101 16044 frama-c_20220511-manganese-2.debian.tar.xz

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

iQIzBAEBCAAdFiEEAgVIKeEtDyqOZI5idFxHZtTKzf8FAmNVH50ACgkQdFxHZtTK
zf/irQ//WEjihXoPlyxeKXdcC8GIppuy9kJdUki9pqJFcYdn8tvzkqBNVxxSeDeB
+SuuV2nFJVBOcx35oLmoi7UYPz60AEu9X1BLuAcdSrRphBwOR+VpikRriHknB1uJ
zw+8nxoK7c8fzSFa6Sjum1roJdDPvaJHPLyoSCtgv5B/oKEksFgrIbcERXZ6LQwE
Q+z5n8qKDJhw1AWESm1sjrMIMlp5ARZKibFvr5ELNvUKXegRb5XFAatavRN1wD1R
sOUtcLDd+B5b1jQpa8yyfEPrzNrZqw+mLubeTDI6UbdUUdfgid0wMNn/7l8AmxFs
LXJS3AMkniCSvju54t0o+RJYrQ6JueaocQvt8xMzj3eT84WF1wH3sajgsQmJMU34
zuu02nYylVN5cKyzH/aBdaUx2IEFeDbPFrJ3OZq9KhnurWrAWefxLQjXIfAu+5Pl
kUpUxpH14EbY25Kdxk8bUDE3i4Yyl0/YoRvPFwZIZCytTp0r4C8csND/OLmVTs95
oQnheo9wgpUTFaA+GFbsIuUFzlTdJfWbgLHitDQf1Lx5BUFtEv9UsWMzWN4yAR//
BUXffY7VCHNMIhCZCUD/EKSKDhK6XEIKH+IVwS0rv7duSZW+FzvLhWeQ5EfNyWZR
Q+gCT8EY8F3KQO/9pJ9KQG3nqv+OEmHO1e+U3YIaZRofTv4nVi8=
=DN8u
-----END PGP SIGNATURE-----