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

Format: 3.0 (quilt)
Source: frama-c
Binary: frama-c-base
Architecture: any
Version: 20220511-manganese-5build16
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
 96698ca3f48126d232c47a6c5b93fe3cd10875cf 17252 frama-c_20220511-manganese-5build16.debian.tar.xz
Checksums-Sha256:
 5efcab6ba0c291f7d5eacc64ced1a2e6e52f45fc029e997fca0997f13142d2fe 8074351 frama-c_20220511-manganese.orig.tar.gz
 939fb9fdf201013536fe43d63f737821631fc0b5ad91e1735865250981acd0a6 17252 frama-c_20220511-manganese-5build16.debian.tar.xz
Files:
 9d67adb5e1cefbe57c8292a3b7ddd9e6 8074351 frama-c_20220511-manganese.orig.tar.gz
 36bbaad54c3c0e9439efe5d6f7eb96e8 17252 frama-c_20220511-manganese-5build16.debian.tar.xz
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmeU9EUACgkQ808JdE6f
XdkqDw/+PxYXrB1o5ap0DhLzGUvTDy/AaVESFNRGEBMgKyY3jEUnlaLPcXVZ1nLY
9wB/EPIq7kIldMTYFY3qoTHrmNY8wyOVzdT5ti6m8QmcamkA2xl94ammZX7JMwjY
oHy1tsPzt6osc/Of5D81IM3Qb5zyGIHbWmScxTXa4sJYMZ1H87Ry+sD2Kfveu21s
L8BwEhy8Vv0Rclgg+6YEYvGzG789TQ/oRReM8zu2t9ADKtWPMmlH1Z8TxH5HTysJ
NWDD1+wcgBZFtcLKjCdK7sKkR0kHBc9ZudrDM1CMUudNRrpqNgrdBIE4eaq2Pw/r
cA8GGAQuc8K0MUXZKudF5ruuQFFgh8xRw9Cr/vmnXkhhB3JLQF7KkhmGZ9PpFZZ7
JwEkb9QHuYiL3dZTNQDkqquXYe7HwW2xZROKQs5N/lCYOzLDb11XZ17DVObYChMj
Q/0hfDI4K8ps6KMcVEMlksalKNEegIDjRgQvt1nx8EV0HZ7Y8N2GaKxpmy+AlB0I
y2LlnoUh96jH9ZPqsRxuuCVn9v4rbCEZCxgOkRkBDlS2clhOKoUuQvzrWfwF/1vX
Gwf5PqEdKt+YPnWrXcD7BfxR0Awmc6ks3NZOvkihWr5yg98Ym3YPoltQ39eNDSC7
dOAfpm+04yR5Hubm7TRR1A+3+pVFbWi9xjDKBr3nrOoOLV0h7RU=
=4otR
-----END PGP SIGNATURE-----