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

Format: 3.0 (quilt)
Source: frama-c
Binary: frama-c-base
Architecture: any
Version: 20220511-manganese-5build15
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
 1ff3c84fb35dc0548417607cbba1f2307bce7be6 17236 frama-c_20220511-manganese-5build15.debian.tar.xz
Checksums-Sha256:
 5efcab6ba0c291f7d5eacc64ced1a2e6e52f45fc029e997fca0997f13142d2fe 8074351 frama-c_20220511-manganese.orig.tar.gz
 60ab69d886af90d785fc65509c63a37da8880c6bed0aeeef342778a242b55b3e 17236 frama-c_20220511-manganese-5build15.debian.tar.xz
Files:
 9d67adb5e1cefbe57c8292a3b7ddd9e6 8074351 frama-c_20220511-manganese.orig.tar.gz
 51d34254e58b4a7ea09f6b6f7358b97b 17236 frama-c_20220511-manganese-5build15.debian.tar.xz
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>

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

iQIzBAEBCgAdFiEEVovyKmYzfL/Jprm3LIPbyOm9DjcFAmc8iq0ACgkQLIPbyOm9
DjcSpRAAoYU6n/4sUyWkorBPKnLCixZbM9CW3AcfNb4JWoyqvIZPaeDeQeeNThsE
C4FjAR+ZmrVF/lU8xxhB0XCXyP5aNw9Dk2wdzWbvU1yt+3gLG0beYzqcDpdsq3sB
3lOnm4f4uf5hfkQKLVdITKjHmwE7e8Xj92TU9+rzgmBG/pyVf68pFriK9DwR3Aik
onkctdNAAOWlrcaH9VpX0NHiKYrpMTD+2QaTDMt/rAkTZy1NH7ABwW9X7u8nFzYn
YAwHW1tliEyxymLOpkC1DAzrFQLoMHTgfvIfbgGzBzJysLfXQ/R93Ks82hFHrnee
KmIkhVtAHemsQKGmSFrx3WBqwraevEf94Mpc+uZhj7AvBti7O6gfR+jtDm5HSYMl
0MQDZl83YLQfY8wGVCa7KdWZy29IDwBgc+AgI3PvbRSPB3v7iQ9Gjr0SiVUYU45C
MdSLu5NfnXdOdBnsg2tVsSOvCRsVPjJygMskqAZt+buxAGbPfDUq78Iuw3rXNGPT
S9OtDD4YURsJrBin12G5Z/U2Xbotl5yBBr43gxxLEwKxtKx+LOKDDaUAYNdMznEh
/YzMZ4GnYiJU8Kuf0AL0nDJ2FmGJ/R+cD3NoSdAKR7gMbILYIPNVYn4RZeY5cLFx
6g8bzQjRyuWlUa6xZgEL/wG6YudvKxW7N7ivJsPQO6vD3doCW14=
=cbyK
-----END PGP SIGNATURE-----