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

Format: 3.0 (quilt)
Source: frama-c
Binary: frama-c-base
Architecture: any
Version: 20220511-manganese-5build14
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
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, dh-ocaml, graphviz, autoconf, libzarith-ocaml-dev, ocaml-findlib, libfindlib-ocaml-dev, libyojson-ocaml-dev, libocamlgraph-ocaml-dev, 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
 feaed5bfb02ef898fe648fd7d6350fc4eec0a2c5 17208 frama-c_20220511-manganese-5build14.debian.tar.xz
Checksums-Sha256:
 5efcab6ba0c291f7d5eacc64ced1a2e6e52f45fc029e997fca0997f13142d2fe 8074351 frama-c_20220511-manganese.orig.tar.gz
 83613a44ff3aac590b6aebf6635d16de454be26b54e91f0cf187a648e098f73a 17208 frama-c_20220511-manganese-5build14.debian.tar.xz
Files:
 9d67adb5e1cefbe57c8292a3b7ddd9e6 8074351 frama-c_20220511-manganese.orig.tar.gz
 67ba0d0b67a154834d48000f0b77cfb8 17208 frama-c_20220511-manganese-5build14.debian.tar.xz
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>

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

iQIzBAEBCgAdFiEEVovyKmYzfL/Jprm3LIPbyOm9DjcFAmbbByAACgkQLIPbyOm9
DjcfchAAiusWlMwLK432bPrWwAD/67qxitcOsceOilIa1AHMjP94SP4VFf/O4yNK
DAiGrm2wAVvXh9mo/dzcb5VE5uG6jdxNEk31synASje8haMXQUvDmYwWnEgpqwsF
Zi3LgLdK7Yf9u++fdrOjl6LwbO9XV3HbcRPABsYsfWXcWV0tVrIOHGYPPT8pcV0P
vY9pFEDD57niqL98W8WCbScKWtn/OzxYE062r7eNCrs2ok+qGsfawLjzkuzxySCP
AJx+prQjdbZgi+dMCMFEocVVSNclgtdpZi1h/tmFucZijIywLhJqJa9cbQP3rocA
sG/9brB0rQhOfHYU9aEsRi9DyhFzVyXhmcManEAj6+w6swxi9/yzDuXzCSdGkMuL
PoUU42g2ZKEHscsiCIhqHZkHP0bKudb4aF9QtRU6HZAdcyY9TR8Xn6LVl3cFfl4w
dqBUnSIvc9RO8SzHsHGuHj6fu7ZznC/bLPfjle7lAEgOIM+xVogbAColwdLRz9ib
jyivNhD9uZvQKjhCaacUkQs9CPnVezvtGw9XC3b9Xcn1b3qMRkjxKdMejTk51W7c
orR+b/8kC1vWtXZhhZKwpraawP+JCBX63Yg4pUNh0GySJflJ9vmzCgN6VVbBKVOb
sJMsfWm4y45rEI2Eq+bvW6uD3HHJJHbfv7pKWL3g77Y6xVNDUpM=
=KHzi
-----END PGP SIGNATURE-----