-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 3.0 (quilt)
Source: frama-c
Binary: frama-c-base
Architecture: any
Version: 20220511-manganese-4
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
 523803caa46c1e83d5e54ae3dec5d47d61a53140 16828 frama-c_20220511-manganese-4.debian.tar.xz
Checksums-Sha256:
 5efcab6ba0c291f7d5eacc64ced1a2e6e52f45fc029e997fca0997f13142d2fe 8074351 frama-c_20220511-manganese.orig.tar.gz
 a5a5a982e252bf1d29189c6434be0496610c7c5915d3db4d9f2621a381567131 16828 frama-c_20220511-manganese-4.debian.tar.xz
Files:
 9d67adb5e1cefbe57c8292a3b7ddd9e6 8074351 frama-c_20220511-manganese.orig.tar.gz
 053a00a954b2d036930a96e825889f8e 16828 frama-c_20220511-manganese-4.debian.tar.xz
Dgit: 06fa1950291a3036e7dbedbb3860cc5f5f6b2bb9 debian archive/debian/20220511-manganese-4 https://git.dgit.debian.org/frama-c

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

iQFGBAEBCgAwFiEEbeJOl+yohsxW5iUOIbju8bGJMIEFAmSvpT8SHGdsb25kdUBk
ZWJpYW4ub3JnAAoJECG47vGxiTCB3HgIAKbdRAdhCSTjyc3Er47hHZzZIY7x0WEy
gDUd42+HjRYHIq5XS1ajUI/hzHa9e32wxg1KqIfcdYnxchLAY2BM9RyrSzN161/s
ir3mczdMcWwMGUvBy4h1GPwrY/I9YIGbgL1S0Di6SwuMiY/bxtMqmQ+Jd48XlRyz
NlIa36LQvaoyAx6ynGnhIqIm0WEB766edzPdXn+IV4tNyEU7QAaAahMeWx28IBut
iGue92MKb5k43WPebLSNp953ph5OuE1PiYkFDB8wRqJ5Z5Fd6u49dgNRDnh98dr0
Ljkcx2YtVh3SdmPFm4DVRwZ2yxYfmfojq4fM4uF1MUNpbqfbPm+2wT4=
=1ouj
-----END PGP SIGNATURE-----