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

Format: 3.0 (quilt)
Source: frama-c
Binary: frama-c-base
Architecture: any
Version: 20220511-manganese-4build4
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
 994b7f71a3d873c8edffabb7ca97335a29aed569 16916 frama-c_20220511-manganese-4build4.debian.tar.xz
Checksums-Sha256:
 5efcab6ba0c291f7d5eacc64ced1a2e6e52f45fc029e997fca0997f13142d2fe 8074351 frama-c_20220511-manganese.orig.tar.gz
 3252eddf1510a4c7f77a6c61227a24680c161617aa4d642fe5dc93d8157e988a 16916 frama-c_20220511-manganese-4build4.debian.tar.xz
Files:
 9d67adb5e1cefbe57c8292a3b7ddd9e6 8074351 frama-c_20220511-manganese.orig.tar.gz
 42ef4ee37dbbbc8e4ecc2c63592db4bb 16916 frama-c_20220511-manganese-4build4.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmTCPIoACgkQ808JdE6f
XdlYaw/+IfWMUutLx5GJqW4n8Id0oRdyWKRQvQKIODxYVPtsKPLy5aA5JEOa77um
f1QF/Xl+wl/nE49MPWFnOCaXCznSC1anlXpDzmBW5ZBZY25WNDGPtW8tS3rST1cd
FK3PWj3syu2ZHk76a7ioXwYk719KRcGObFJ/IaRdYpgCT+eM2ztufTRM9Bu1OU5s
JZJNqAApax7Qeyb3uY8d3LUKzMxLs5lHjKZf8OWTd613VqKwUujBletlXIX2PraH
jFB7vEGweuCa1BoYhkoO+Csbp20pJCLKkfL2YGETBS8ILLkc9jO0VHzIM1GFdjgv
iRNmJn+WlsSDyS1smImgFA82rmOBZiRTtV3KHFX0ZnhdYs+hETBKlw6z5b7WWvfL
n83+6ZPuqiTo2x1keq6IH0gLkVzfIwhmh7eG4Baq+ZzxTqlpziMixARp2aclZoK/
0vMaAgi6/MCukN/tI6a6FL5x7h0tZJL1Rgdwbv5Whgt6VxE8rHvwWZ5W/1k/nGMU
XdNkbQHl8q+uRiEb5mzpuqmTgCzG0mZBKC4VN1bTurQj6VbV2OmI445ugT+htbMn
L1Diby/Y3xV8ItMJ6/SpiZLw9dVrtSUA7i2CRkXy1y68qzzxcnOGw1THRVox9TQd
wC/JUK74b+BhvyUzTLo9nL5cyQkNEPWaLMOfNEzIiEJFDRE/m8M=
=YP7S
-----END PGP SIGNATURE-----