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

Format: 3.0 (quilt)
Source: frama-c
Binary: frama-c-base
Architecture: any
Version: 20220511-manganese-1.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
 b13ae06aed8ed3e804e2df2142845976ae022565 15948 frama-c_20220511-manganese-1.1.debian.tar.xz
Checksums-Sha256:
 5efcab6ba0c291f7d5eacc64ced1a2e6e52f45fc029e997fca0997f13142d2fe 8074351 frama-c_20220511-manganese.orig.tar.gz
 cdb595613ab155ea8cf147fcace4cd0c7028f276f13eb3a7bab6238258da8d39 15948 frama-c_20220511-manganese-1.1.debian.tar.xz
Files:
 9d67adb5e1cefbe57c8292a3b7ddd9e6 8074351 frama-c_20220511-manganese.orig.tar.gz
 b385e8b0ced2b22e779c540dcb72d985 15948 frama-c_20220511-manganese-1.1.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmK0NsYSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVR8AoQAJ94ACPe0vonhISFJJZGzOx1ePPv46Wm
FXUFoGaUdGRb3MB1DSJY5cMXj9eoJQzSm7XQGDUQoLi3HkSG5mOjijSWbRwPv2hq
2A1shY6MwhjDZyrAeX3DMJheV5DbwjTPF3HLbq9MUk0asDxaP+6737WEjxLY8/YD
x3dsb49lH8vvQBKwsv8obSBGnEg+s6g4qzbKCiehlbK8Tg8iDU9Ggm6HvYzlMwcg
LJLWnepVAJUxOEWBRxC4DESraUfYBX/iA3nuWfeeAixBJx4GmgU4sQGsUVDgaGqy
mq0nWwrDSdDC4mJarttcB6Bs3cb21K5Tsj6vvnLTYVnIOjOR764qRyWY79jyCctU
Ms6C+N7PeaYDSiL/deBdKP/6EI1ajq+M/lAtqJTnqG4Ba2njgULoVKNNzCjAtqEw
f6o3URXEO+Fxrmr8CepsGwU3/DYUO/zQIAvl37DnzSAwp9Et4fvgBKi6YstnGZzK
5u8o7pQRq6uH19JhlPagWBvkhB/nMQStdXM4+xaJJdBepnPJ76E6EftlISBwoO80
+tICJfwnVOHWhwA7++nOgsj2MHDLD+dwOgEofMIkrUFD8lQ1sVnFR6vxi3nz/+Rh
l1/wAenB1Ylms/3tkl3URMAZKn/dRPY5A0Z78BHCxxbrvWBKHdYMn7VgFW7Xbspe
cad63N315kgw
=eOZe
-----END PGP SIGNATURE-----